aboutsummaryrefslogtreecommitdiff
path: root/math/proofgeneral/Makefile
Commit message (Expand)AuthorAgeFilesLines
* - Use print/texinfo for texi2{dvi,pdf} instead of print/teTeX-base.Hiroki Sato2011-06-181-2/+3
* Bump PORTREVISION after open-mofit updateMax Brazhnikov2011-05-021-1/+1
* - update to 1.4.1Dirk Meyer2010-03-281-1/+1
* - Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)Martin Wilke2010-02-261-1/+1
* - update to jpeg-8Dirk Meyer2010-02-051-1/+1
* - bump all port that indirectly depends on libjpeg and have not yet been bump...Dirk Meyer2009-07-311-0/+1
* [MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1Edwin Groothuis2008-08-151-4/+5
* Bump portrevision due to upgrade of devel/gettext.Edwin Groothuis2008-06-061-0/+1
* - Update to 3.7Rong-En Fan2008-04-041-3/+3
* Ugh, took me about fifteen minutes to figure what's wrong with this... Oh..Jeremy Messenger2007-10-271-2/+2
* Fix the *.desktop installation, bump the PORTREVISION.Jeremy Messenger2007-10-251-1/+4
* Presenting GNOME 2.20.1 and all related works for FreeBSD. The officialJoe Marcus Clarke2007-10-241-1/+1
* - Welcome X.org 7.2 \o/.Florent Thoumie2007-05-191-1/+1
* Now appears to build on amd64Kris Kennaway2007-04-011-4/+0
* Fix deinstall and unbroke port.Andrey Slusar2007-03-051-2/+0
* BROKEN: Incomplete pkg-plistKris Kennaway2007-02-271-0/+2
* * Remove the direct inclusion of bsd.emacs.mkAndrey Slusar2007-02-061-31/+22
* Deprecate and expire on 2007-02-07 to give the maintainer more incentiveKris Kennaway2006-12-091-0/+2
* BROKEN: incomplete pkg-plistKris Kennaway2006-11-301-0/+2
* Fix plist and unbroken port.Andrey Slusar2006-11-111-3/+2
* BROKEN: Incorrect pkg-plistKris Kennaway2006-10-151-0/+2
* Remove USE_REINPLACE from ports starting with MEdwin Groothuis2006-05-101-1/+0
* - Add USE_EMACS=yes. It should present in all emacsen ports.Sergey Matveychuk2006-05-061-0/+1
* - Update to 3.6Sergey Matveychuk2006-05-011-11/+4
* BROKEN on amd64: Does not buildKris Kennaway2005-10-281-0/+4
* Fix build:Simon Barner2005-09-151-7/+22
* Add proofgeneral 3.5, a generic interface for proof assistants.Simon Barner2005-08-311-0/+76
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-28 20:37:23 +0000