Commit graph

10 commits

Author SHA1 Message Date
Edwin Groothuis
6f2b571e98 [MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1
PR:		ports/126066
Submitted by:	Timothy Bourke <timbob@bigpond.com>
2008-08-15 01:03:23 +00:00
Pav Lucistnik
fb3b71be54 - Remove empty files 2008-04-10 11:56:28 +00:00
Rong-En Fan
111ea77efc - Update to 3.7
PR:		ports/120987
Submitted by:	Timothy Bourke <timbob at bigpond.com> (maintainer)
2008-04-04 12:13:33 +00:00
Joe Marcus Clarke
4acc6fb2a4 Presenting GNOME 2.20.1 and all related works for FreeBSD. The official
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
2007-10-24 23:37:25 +00:00
Andrey Slusar
5a404d2004 Fix deinstall and unbroke port.
PR:		ports/109930
Submitted by:	Timothy Bourke (maintainer)
2007-03-05 19:38:17 +00:00
Andrey Slusar
b32b35935a * Remove the direct inclusion of bsd.emacs.mk
* Use the misc/gnomehier and misc/hicolor-icon/theme ports
* Use the latest proofgeneral prerelease

PR:		ports/107414
Submitted by:	Timothy Bourke(maintainer)
2007-02-06 22:55:25 +00:00
Erwin Lansing
70480582d4 Remove zero-sized files. 2006-07-10 20:44:48 +00:00
Sergey Matveychuk
7a50243ff9 - Update to 3.6
PR:		ports/94670
Submitted by:	maintainer
2006-05-01 18:00:51 +00:00
Simon Barner
a446c1e3b4 Fix build:
- 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
2005-09-15 00:47:17 +00:00
Simon Barner
f6925bfda8 Add proofgeneral 3.5, a generic interface for proof assistants.
PR:		84788
Submitted by:	Timothy Bourke <timbob@bigpond.com>
2005-08-31 10:36:36 +00:00