| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Update to 2009.2 | Max Brazhnikov | 2010-10-30 | 1 | -80/+35 |
| * | - Update to 2009 | Martin Wilke | 2009-10-29 | 1 | -53/+71 |
| * | [MAINTAINER] math/isabelle: update from 2007 to 2008 | Edwin Groothuis | 2008-08-15 | 1 | -17/+32 |
| * | - Update to 2007 | Rong-En Fan | 2008-04-04 | 1 | -24/+97 |
| * | - Fix crash with lang/polyml. | Martin Wilke | 2007-03-22 | 1 | -1/+1 |
| * | - Update to 2005 | Sergey Matveychuk | 2006-05-01 | 1 | -96/+32 |
| * | Add isabelle 2004, a generic proof assistant. | Simon Barner | 2005-09-01 | 1 | -0/+122 |
 |
index : ports.git | |
| Unnamed repository; edit this file 'description' to name the repository. | git |
| summaryrefslogtreecommitdiff |