summaryrefslogtreecommitdiff
path: root/math/proofgeneral
AgeCommit message (Expand)Author
2013-10-22- Remove manual creation and removal of share/applications, as it's now in th...Dmitry Marakasov
2013-09-20Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin
2013-09-16Convert to new perl frameworkBaptiste Daroussin
2013-04-15- Don't delete gnomehier directoriesBryan Drewery
2013-03-31- Fix packaging by removing unneeded PACKAGE_BUILDING hackBryan Drewery
2013-03-30GNU Emacs updatesAshish SHUKLA
2012-09-04Chase Emacs updatesAshish SHUKLA
2012-08-01- Bump PORTREVISION to chase Emacs port updatesAshish SHUKLA
2012-07-12- Fix build with new texi2htmlAlex Kozlov
2012-06-27- Mark BROKEN: does not buildPav Lucistnik
2012-06-01- update png to 1.5.10Dirk Meyer
2012-04-19- Update to 4.1Michael Scheidell
2011-06-18- Use print/texinfo for texi2{dvi,pdf} instead of print/teTeX-base.Hiroki Sato
2011-05-02Bump PORTREVISION after open-mofit updateMax Brazhnikov
2011-03-20- Get Rid MD5 supportMartin Wilke
2010-03-28- update to 1.4.1Dirk Meyer
2010-02-26- Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)Martin Wilke
2010-02-05- update to jpeg-8Dirk Meyer
2009-07-31- bump all port that indirectly depends on libjpeg and have not yet been bump...Dirk Meyer
2008-08-15[MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1Edwin Groothuis
2008-06-06Bump portrevision due to upgrade of devel/gettext.Edwin Groothuis
2008-04-10- Remove empty filesPav Lucistnik
2008-04-04- Update to 3.7Rong-En Fan
2007-10-27Ugh, took me about fifteen minutes to figure what's wrong with this... Oh..Jeremy Messenger
2007-10-25Fix the *.desktop installation, bump the PORTREVISION.Jeremy Messenger
2007-10-24Presenting GNOME 2.20.1 and all related works for FreeBSD. The officialJoe Marcus Clarke
2007-05-19- Welcome X.org 7.2 \o/.Florent Thoumie
2007-04-01Now appears to build on amd64Kris Kennaway
2007-03-05Fix deinstall and unbroke port.Andrey Slusar
2007-02-27BROKEN: Incomplete pkg-plistKris Kennaway
2007-02-06* Remove the direct inclusion of bsd.emacs.mkAndrey Slusar
2006-12-09Deprecate and expire on 2007-02-07 to give the maintainer more incentiveKris Kennaway
2006-11-30BROKEN: incomplete pkg-plistKris Kennaway
2006-11-11Fix plist and unbroken port.Andrey Slusar
2006-10-15BROKEN: Incorrect pkg-plistKris Kennaway
2006-07-10Remove zero-sized files.Erwin Lansing
2006-05-16- Remove EMACS_SITE_LISTDIR if empty to satisfy pointyhatSergey Matveychuk
2006-05-10Remove USE_REINPLACE from ports starting with MEdwin Groothuis
2006-05-06- Add USE_EMACS=yes. It should present in all emacsen ports.Sergey Matveychuk
2006-05-01- Update to 3.6Sergey Matveychuk
2006-01-22SHA256ifyEdwin Groothuis
2006-01-22Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtryEdwin Groothuis
2005-10-28BROKEN on amd64: Does not buildKris Kennaway
2005-09-15Fix plist.Simon Barner
2005-09-15Fix build:Simon Barner
2005-08-31Add proofgeneral 3.5, a generic interface for proof assistants.Simon Barner