ports/math/isabelle/
Click on a directory to enter that directory. Click on a file to display its revision history and to get a chance to display diffs between revisions.
Current directory: [FreeBSD] / ports / math / isabelle
| File | Rev. | Age | Author | Last log entry | |
|---|---|---|---|---|---|
![[BACK]](/gifs/back.gif){kind=small} Parent Directory |
|||||
![[DIR]](/gifs/dir.gif){kind=small} Attic/ [show] |
|||||
| files/ |
|||||
![[TXT]](/gifs/text.gif){kind=small} Makefile |
1.16 | 15 months | makc | Update to 2009.2 PR: ports/149736 Submitted by: Timothy Beyer (maintainer) | |
| distinfo |
1.7 | 15 months | makc | Update to 2009.2 PR: ports/149736 Submitted by: Timothy Beyer (maintainer) | |
| pkg-descr |
1.1 | 6 years | barner | Add isabelle 2004, a generic proof assistant. PR: 84859 Submitted by: Timothy ... | |
| pkg-plist |
1.9 | 15 months | makc | Update to 2009.2 PR: ports/149736 Submitted by: Timothy Beyer (maintainer) | |
Download this directory in tarball