| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | - 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 |