aboutsummaryrefslogtreecommitdiff
path: root/math/proofgeneral
Commit message (Expand)AuthorAgeFilesLines
* Install texinfo files (GNU info) into ${PREFIX}/share/infoBaptiste Daroussin2018-11-101-2/+2
* USES=emacs ports: Bump PORTREVISION for editors/emacs 26.1 upgradeJoseph Mingrone2018-05-311-1/+1
* Flavorize and modernize Emacs portsJoseph Mingrone2018-02-011-20/+18
* Chase Emacs updateAshish SHUKLA2017-09-121-1/+1
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.Mathieu Arnold2016-04-011-3/+3
* - Add NO_ARCHDmitry Marakasov2015-09-041-3/+7
* - Don't cat pkg-message from MakefilesDmitry Marakasov2015-05-271-3/+0
* - Chase GNU Emacs updatesAshish SHUKLA2015-04-271-1/+1
* Cleanup plistAntoine Brodin2014-11-141-20/+0
* - Chase GNU Emacs updatesAshish SHUKLA2014-11-051-1/+1
* Retire MANCOMPRESSED.Mathieu Arnold2014-09-181-1/+0
* Convert a bunch of EXTRACT_SUFX=... into USES=tar:...Adam Weinberger2014-07-291-2/+1
* - Add stage supportDanilo Egea Gondolfo2014-07-162-13/+22
* Remove indefinite articles and trailing periods from COMMENT, plus minorJimmy Olgeni2014-07-071-1/+1
* Convert GMAKE to MAKE_CMDBaptiste Daroussin2014-06-251-1/+1
* - Don't remove mtree directoriesDmitry Marakasov2014-05-091-1/+0
* - Remove manual creation and removal of share/applications, as it's now in th...Dmitry Marakasov2013-10-222-4/+0
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin2013-09-201-0/+1
* Convert to new perl frameworkBaptiste Daroussin2013-09-161-2/+1
* - Don't delete gnomehier directoriesBryan Drewery2013-04-152-3/+1
* - Fix packaging by removing unneeded PACKAGE_BUILDING hackBryan Drewery2013-03-312-14/+4
* GNU Emacs updatesAshish SHUKLA2013-03-301-1/+1
* Chase Emacs updatesAshish SHUKLA2012-09-041-1/+1
* - Bump PORTREVISION to chase Emacs port updatesAshish SHUKLA2012-08-011-1/+1
* - Fix build with new texi2htmlAlex Kozlov2012-07-122-4/+15
* - Mark BROKEN: does not buildPav Lucistnik2012-06-271-0/+2
* - update png to 1.5.10Dirk Meyer2012-06-011-0/+1
* - Update to 4.1Michael Scheidell2012-04-197-510/+167
* - 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
* - Get Rid MD5 supportMartin Wilke2011-03-201-1/+0
* - 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-155-12/+34
* Bump portrevision due to upgrade of devel/gettext.Edwin Groothuis2008-06-061-0/+1
* - Remove empty filesPav Lucistnik2008-04-101-0/+0
* - Update to 3.7Rong-En Fan2008-04-047-577/+593
* 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-243-13/+14
* - 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-052-4/+3
* BROKEN: Incomplete pkg-plistKris Kennaway2007-02-271-0/+2
* * Remove the direct inclusion of bsd.emacs.mkAndrey Slusar2007-02-064-443/+533
* 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-113-4/+3