/textproc/p5-podlators/

w44/cgit-data/cgit.png' alt='cgit logo'/> index : freebsd-ports-gnome
FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)
aboutsummaryrefslogtreecommitdiffstats
path: root/math/isabelle/Makefile
e='2006-09-05 12:43:13 +0800'>2006-09-05
Commit message (Expand)AuthorAgeFilesLines
* Update to 2009.2makc2010-10-311-19/+24
* - Mark BROKEN: bad plistpav2010-10-281-0/+2
* - update to 1.4.1dinoex2010-03-281-1/+1
* - Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)miwi2010-02-261-1/+1
* - update to jpeg-8dinoex2010-02-051-0/+1
* - Update to 2009miwi2009-10-301-56/+35
* [MAINTAINER] math/isabelle: update from 2007 to 2008edwin2008-08-151-12/+111
* Bump portrevision due to upgrade of devel/gettext.edwin2008-06-061-0/+1
* - Update to 2007rafan2008-04-041-18/+9
* Move the USE_PERL definitions, and others, before pre.mk inclusion. Thislinimon2007-09-301-5/+5
* Update port: math/isabelleedwin2007-09-101-5/+6
* - Welcome X.org 7.2 \o/.flz2007-05-201-0/+1
* - Fix crash with lang/polyml.miwi2007-03-221-16/+14
* math/isabelle does not build on pointyhat, because the build processrafan2006-08-101-0/+1
* - Update to 2005sem2006-05-021-24/+26
1-1/+1
* SHA256ifyedwin2006-01-221-0/+1
* Use latest tcl/tk 8.3 -> 8.4mnag2005-10-221-13/+14
* - Update to 1.8.6pav2005-05-205-354/+483
* Add imake build dependency, it is no longer implied by USE_XLIB.lesi2004-12-231-0/+1
* SIZEify (maintainer timeout)trevor2004-03-311-0/+1
* Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.marcus2004-02-041-0/+1
* De-pkg-comment.knu2003-02-212-1/+1
* *gulp* forgot to remove two comments.edwin2003-01-171-2/+2
* Update cad/tkgate to 1.6iedwin2003-01-174-313/+352
* Style police: WWW tags should either end in a file/script or TRAILING /; Fix ...lioux2001-11-211-1/+1
* Fix dependencies to tcl/tk 8.3kevlo2001-03-151-2/+2
* Update to version 1.6ekevlo2000-11-183-266/+311
* Add gmac.1 and tkgate.1asami2000-06-081-0/+1
* update with the new PORTNAME/PORTVERSION variablesmharo2000-04-091-2/+2
* Update to 1.0mharo2000-03-244-272/+269
* Update to use Tcl/Tk version 8.2.steve1999-11-291-1/+4
* Resolve many 301 Moved Permanently URLs in DESCR.fenner1999-09-181-1/+1
* Change Id->FreeBSD.obrien1999-08-25