diff options
| author | Florent Thoumie <flz@FreeBSD.org> | 2007-05-19 20:36:56 +0000 |
|---|---|---|
| committer | Florent Thoumie <flz@FreeBSD.org> | 2007-05-19 20:36:56 +0000 |
| commit | d4f0d0048a8755106a4b0445221a19761e746984 (patch) | |
| tree | c87184c5bfeaf942c827c5f706186ce9786a2588 /math/isabelle | |
| parent | e82affd309fc2d8e5ea19b2e003f1296920bd825 (diff) | |
| download | ports-d4f0d0048a8755106a4b0445221a19761e746984.tar.gz ports-d4f0d0048a8755106a4b0445221a19761e746984.zip | |
Notes
Diffstat (limited to 'math/isabelle')
| -rw-r--r-- | math/isabelle/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/isabelle/Makefile b/math/isabelle/Makefile index ae74eda7f151..61384f95ae92 100644 --- a/math/isabelle/Makefile +++ b/math/isabelle/Makefile @@ -7,6 +7,7 @@ PORTNAME= isabelle PORTVERSION= 2005 +PORTREVISION= 1 CATEGORIES= math MASTER_SITES= http://isabelle.in.tum.de/dist/ \ http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/ \ |