| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Update to 2009.2 | Max Brazhnikov | 2010-10-30 | 7 | -315/+35 |
| * | - Update to 2009 | Martin Wilke | 2009-10-29 | 7 | -57/+285 |
| * | [MAINTAINER] math/isabelle: update from 2007 to 2008 | Edwin Groothuis | 2008-08-15 | 49 | -1301/+37 |
| * | - Update to 2007 | Rong-En Fan | 2008-04-04 | 30 | -322/+467 |
| * | Update port: math/isabelle | Edwin Groothuis | 2007-09-10 | 41 | -8/+1097 |
| * | - Fix crash with lang/polyml. | Martin Wilke | 2007-03-22 | 6 | -33/+118 |
| * | - Update to 2005 | Sergey Matveychuk | 2006-05-01 | 5 | -117/+82 |
| * | Add isabelle 2004, a generic proof assistant. | Simon Barner | 2005-09-01 | 4 | -0/+181 |
 |
index : ports | |
| FreeBSD ports tree |
| aboutsummaryrefslogtreecommitdiff |