aboutsummaryrefslogtreecommitdiff
path: root/math/proofgeneral
Commit message (Collapse)AuthorAgeFilesLines
* Bump PORTREVISION after open-mofit updateMax Brazhnikov2011-05-021-1/+1
| | | | Notes: svn path=/head/; revision=273475
* - Get Rid MD5 supportMartin Wilke2011-03-201-1/+0
| | | | Notes: svn path=/head/; revision=271346
* - update to 1.4.1Dirk Meyer2010-03-281-1/+1
| | | | | | | | Reviewed by: exp8 run on pointyhat Supported by: miwi Notes: svn path=/head/; revision=251605
* - Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)Martin Wilke2010-02-261-1/+1
| | | | | | | | | PR: 143994 143995 143996 Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer) Feature safe: yes Notes: svn path=/head/; revision=250361
* - update to jpeg-8Dirk Meyer2010-02-051-1/+1
| | | | Notes: svn path=/head/; revision=249285
* - bump all port that indirectly depends on libjpeg and have not yet been ↵Dirk Meyer2009-07-311-0/+1
| | | | | | | | | bumped or updated Requested by: edwin Notes: svn path=/head/; revision=238701
* [MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1Edwin Groothuis2008-08-155-12/+34
| | | | | | | | PR: ports/126066 Submitted by: Timothy Bourke <timbob@bigpond.com> Notes: svn path=/head/; revision=218579
* Bump portrevision due to upgrade of devel/gettext.Edwin Groothuis2008-06-061-0/+1
| | | | | | | | | | | | | The affected ports are the ones with gettext as a run-dependency according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT in Makefile (29 of them). PR: ports/124340 Submitted by: edwin@ Approved by: portmgr (pav) Notes: svn path=/head/; revision=214430
* - Remove empty filesPav Lucistnik2008-04-101-0/+0
| | | | Notes: svn path=/head/; revision=211003
* - Update to 3.7Rong-En Fan2008-04-047-577/+593
| | | | | | | | PR: ports/120987 Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer) Notes: svn path=/head/; revision=210484
* Ugh, took me about fifteen minutes to figure what's wrong with this... Oh..Jeremy Messenger2007-10-271-2/+2
| | | | | | | | | | | A typo of PREFIX, fix it and should fix the *.desktop installation. Bump the PORTREVISION. Reported by: pointyhat Approved by: Related with our (FreeBSD GNOME Team) big change Notes: svn path=/head/; revision=202163
* Fix the *.desktop installation, bump the PORTREVISION.Jeremy Messenger2007-10-251-1/+4
| | | | | | | | Reported by: pointyhat-exp Approved by: Related with our (FreeBSD GNOME Team) big change Notes: svn path=/head/; revision=202008
* Presenting GNOME 2.20.1 and all related works for FreeBSD. The officialJoe Marcus Clarke2007-10-243-13/+14
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | GNOME 2.20 release notes can be found at http://www.gnome.org/start/2.20/notes/en/ . Beyond that, this update includes the new GIMP 2.4 (courtesy of ahze). The GNOME 2.20 update also includes a huge change in the FreeBSD GNOME hierarchy. We are now using the more standard DATADIR of ${PREFIX}/share rather than ${PREFIX}/share/gnome. The result is that fewer patches and hacks are needed to port GNOME components to FreeBSD. This will mean some user changes may be required, so be sure to read /usr/ports/UPDATING for more details. This release and the things we accomplished in it would not have been possible without mezz's crazy idea to collapse DATADIR, and his persistence to make it happen successfully. Ahze and pav also deserve thanks for their work on porting modules and testing the whole ball of wax on pointyhat (respectively). The FreeBSD GNOME team would also like to thank our various testers and contributors: Yasuda Keisuke Frank Jahnke Pawel Worach Brian Gruber Franz Klammer Yuri Pankov Nick Barkas Cristian KLEIN Tony Maher Scot Hetzel Martin Matuska (mm) Benoit Dejean Martin Wilke (miwi) (And anyone else I may have missed) PRs fixed in this release: 111272, 113470, 115995, 116338 Notes: svn path=/head/; revision=201947
* - Welcome X.org 7.2 \o/.Florent Thoumie2007-05-191-1/+1
| | | | | | | | - Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}. - Bump PORTREVISION for ports intalling files in ${X11BASE}. Notes: svn path=/head/; revision=191544
* Now appears to build on amd64Kris Kennaway2007-04-011-4/+0
| | | | Notes: svn path=/head/; revision=188958
* Fix deinstall and unbroke port.Andrey Slusar2007-03-052-4/+3
| | | | | | | | PR: ports/109930 Submitted by: Timothy Bourke (maintainer) Notes: svn path=/head/; revision=186601
* BROKEN: Incomplete pkg-plistKris Kennaway2007-02-271-0/+2
| | | | Notes: svn path=/head/; revision=186073
* * Remove the direct inclusion of bsd.emacs.mkAndrey Slusar2007-02-064-443/+533
| | | | | | | | | | | * Use the misc/gnomehier and misc/hicolor-icon/theme ports * Use the latest proofgeneral prerelease PR: ports/107414 Submitted by: Timothy Bourke(maintainer) Notes: svn path=/head/; revision=184433
* Deprecate and expire on 2007-02-07 to give the maintainer more incentiveKris Kennaway2006-12-091-0/+2
| | | | | | | to work on this long-standing problem. Notes: svn path=/head/; revision=179328
* BROKEN: incomplete pkg-plistKris Kennaway2006-11-301-0/+2
| | | | Notes: svn path=/head/; revision=178401
* Fix plist and unbroken port.Andrey Slusar2006-11-113-4/+3
| | | | | | | | | PR: ports/105383 Reported by: pointyhat Submitted by: Timothy Bourke (maintainer) Notes: svn path=/head/; revision=177064
* BROKEN: Incorrect pkg-plistKris Kennaway2006-10-151-0/+2
| | | | | | | Approved by: portmgr (self) Notes: svn path=/head/; revision=175336
* Remove zero-sized files.Erwin Lansing2006-07-102-0/+0
| | | | Notes: svn path=/head/; revision=167402
* - Remove EMACS_SITE_LISTDIR if empty to satisfy pointyhatSergey Matveychuk2006-05-161-0/+1
| | | | | | | | Submitted by: maintainer Reported by: kris mail Notes: svn path=/head/; revision=162560
* Remove USE_REINPLACE from ports starting with MEdwin Groothuis2006-05-101-1/+0
| | | | Notes: svn path=/head/; revision=162032
* - Add USE_EMACS=yes. It should present in all emacsen ports.Sergey Matveychuk2006-05-061-0/+1
| | | | | | | | | | | (This commit prevents the ports breakage after more strict condition will applied in bsd.port.mk and makes no functional changes) PR: ports/95238 Submitted by: nobutaka Notes: svn path=/head/; revision=161466
* - Update to 3.6Sergey Matveychuk2006-05-019-108/+126
| | | | | | | | PR: ports/94670 Submitted by: maintainer Notes: svn path=/head/; revision=161111
* SHA256ifyEdwin Groothuis2006-01-221-0/+1
| | | | | | | Approved by: krion@ Notes: svn path=/head/; revision=154159
* Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtryEdwin Groothuis2006-01-221-1/+1
| | | | | | | | Approved by: krion@ PR: ports/88711 (related) Notes: svn path=/head/; revision=154114
* BROKEN on amd64: Does not buildKris Kennaway2005-10-281-0/+4
| | | | Notes: svn path=/head/; revision=146539
* Fix plist.Simon Barner2005-09-151-0/+3
| | | | | | | | Reported by: kris via pointhat Pointy hat to: me for not being more thorough Notes: svn path=/head/; revision=142861
* Fix build:Simon Barner2005-09-152-7/+35
| | | | | | | | | | | | | | - Use any installed version of [x]emacs - If there's no emacs at all, fall back to xemacs21-mule - files/patch-isa_isabelle-system.el: Avoid interactive prompt if building with GNU emacs. Submitted by: barner, maintainer (partly) Approved by: Timothy Bourke <timbob@bigpond.com> (maintainer) Reported by: kris via pointyhat Notes: svn path=/head/; revision=142776
* Add proofgeneral 3.5, a generic interface for proof assistants.Simon Barner2005-08-3110-0/+715
PR: 84788 Submitted by: Timothy Bourke <timbob@bigpond.com> Notes: svn path=/head/; revision=141552
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-02 20:32:25 +0000