| Commit History - (may be incomplete: see SVNWeb link above for full details) |
| Date | By | Description |
15 Apr 2013 18:55:01
  4.1_7
|
bdrewery  |
- Don't delete gnomehier directories
Approved by: portmgr (implicit)
Pointyhat to: bdrewery (for breaking poudriere deleted dir detection leading to
the previous commit) |
31 Mar 2013 12:58:44
4.1_6
|
bdrewery |
- Fix packaging by removing unneeded PACKAGE_BUILDING hack
from r295132 for ports/166867 that the maintainer did
not actually submit
Approved by: portmgr
With hat: portmgr |
30 Mar 2013 05:13:30
4.1_5
|
ashish |
GNU Emacs updates
editors/emacs:
- Update to 24.3
- Update CANNA patchset[1]
- Unbreak ARM support by using the patch from emacs-devel port
- Add missing INSTALLS_ICONS[2]
- Remove a patch which is already integrated upstream
- Fix Makefile header
editors/emacs-devel:
- Update to bzr revision 112178
- Fix Makefile header
- Add missing INSTALLS_ICONS[2]
(Only the first 15 lines of the commit message are shown above  ) |
04 Sep 2012 17:05:44
4.1_4
|
ashish |
Chase Emacs updates |
01 Aug 2012 16:50:16
4.1_3
|
ashish |
- Bump PORTREVISION to chase Emacs port updates
- Unbreak INDEX caused by databases/lsdb, editors/flim, and editors/semi |
12 Jul 2012 14:05:30
4.1_2
|
ak |
- Fix build with new texi2html
- Ignore attempts to compile with XEmacs, it is not supported by the
ProofGeneral developers.
PR: ports/169774
Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer) |
27 Jun 2012 19:30:14
4.1_1
|
pav |
- Mark BROKEN: does not build
texi2html -expandinfo -number -split_chapter --noheader --output PG-adapting
PG-adapting.texi
Option number is ambiguous (number-footnotes, number-sections)
Reported by: pointyhat |
01 Jun 2012 05:26:28
4.1_1
|
dinoex |
- update png to 1.5.10 |
19 Apr 2012 22:38:31
4.1
|
scheidell |
- Update to 4.1
- Fix build on amd64
- XEmacs is no longer supported by proofgeneral developers, so only GNU Emacs
may be used
- Omit pdf compilation since a newer version of latex then is in ports is needed
- Use PORTDOCS= macros to simplefy Makefile and pkg-plist
PR: ports/166867
Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer0 |
18 Jun 2011 16:13:31
3.7.1_5
|
hrs |
- Use print/texinfo for texi2{dvi,pdf} instead of print/teTeX-base.
- Use print/teTeX-base for latex instead of print/teTeX.
- Use share/texmf for TeX-related files instead of share/texmf-local. |
02 May 2011 12:44:53
3.7.1_4
|
makc |
Bump PORTREVISION after open-mofit update |
20 Mar 2011 12:54:45
3.7.1_3
|
miwi |
- Get Rid MD5 support |
28 Mar 2010 06:47:48
3.7.1_3
|
dinoex |
- update to 1.4.1
Reviewed by: exp8 run on pointyhat
Supported by: miwi |
26 Feb 2010 09:30:28
3.7.1_2
|
miwi |
- Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)
PR: 143994 143995 143996
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
Feature safe: yes |
05 Feb 2010 11:46:55
3.7.1_2
|
dinoex |
- update to jpeg-8 |
31 Jul 2009 13:57:52
3.7.1_1
|
dinoex |
- bump all port that indirectly depends on libjpeg and have not yet been bumped
or updated
Requested by: edwin |
15 Aug 2008 01:03:23
3.7.1
|
edwin |
[MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1
PR: ports/126066
Submitted by: Timothy Bourke <timbob@bigpond.com> |
06 Jun 2008 13:44:06
3.7_1
|
edwin |
Bump portrevision due to upgrade of devel/gettext.
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) |
10 Apr 2008 11:56:28
3.7
|
pav |
- Remove empty files |
04 Apr 2008 12:13:33
3.7
|
rafan |
- Update to 3.7
PR: ports/120987
Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer) |
27 Oct 2007 19:44:46
3.6_8
|
mezz |
Ugh, took me about fifteen minutes to figure what's wrong with this... Oh..
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 |
25 Oct 2007 17:44:43
3.6_7
|
mezz |
Fix the *.desktop installation, bump the PORTREVISION.
Reported by: pointyhat-exp
Approved by: Related with our (FreeBSD GNOME Team) big change |
24 Oct 2007 23:37:25
3.6_6
|
marcus |
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(Only the first 15 lines of the commit message are shown above ) |
19 May 2007 20:32:57
3.6_3
|
flz |
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}. |
01 Apr 2007 21:08:15
3.6_2
|
kris |
Now appears to build on amd64 |
05 Mar 2007 19:38:17
3.6_2
|
anray |
Fix deinstall and unbroke port.
PR: ports/109930
Submitted by: Timothy Bourke (maintainer) |
27 Feb 2007 04:54:19
3.6_2
|
kris |
BROKEN: Incomplete pkg-plist |
06 Feb 2007 22:55:25
3.6_2
|
anray |
* 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) |
09 Dec 2006 19:57:26
3.6_1
|
kris |
Deprecate and expire on 2007-02-07 to give the maintainer more incentive
to work on this long-standing problem. |
30 Nov 2006 23:39:45
3.6_1
|
kris |
BROKEN: incomplete pkg-plist |
11 Nov 2006 19:15:29
3.6_1
|
anray |
Fix plist and unbroken port.
PR: ports/105383
Reported by: pointyhat
Submitted by: Timothy Bourke (maintainer) |
15 Oct 2006 20:06:03
3.6
|
kris |
BROKEN: Incorrect pkg-plist
Approved by: portmgr (self) |
10 Jul 2006 20:44:48
3.6
|
erwin |
Remove zero-sized files. |
16 May 2006 12:03:31
3.6
|
sem |
- Remove EMACS_SITE_LISTDIR if empty to satisfy pointyhat
Submitted by: maintainer
Reported by: kris mail |
10 May 2006 22:37:39
3.6
|
edwin |
Remove USE_REINPLACE from ports starting with M |
06 May 2006 08:44:14
3.6
|
sem |
- Add USE_EMACS=yes. It should present in all emacsen ports.
(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 |
01 May 2006 18:00:51
3.6
|
sem |
- Update to 3.6
PR: ports/94670
Submitted by: maintainer |
22 Jan 2006 12:56:47
3.5
|
edwin |
SHA256ify
Approved by: krion@ |
22 Jan 2006 02:26:24
3.5
|
edwin |
Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry
Approved by: krion@
PR: ports/88711 (related) |
28 Oct 2005 06:34:44
3.5
|
kris |
BROKEN on amd64: Does not build |
15 Sep 2005 23:34:10
3.5
|
barner |
Fix plist.
Reported by: kris via pointhat
Pointy hat to: me for not being more thorough |
15 Sep 2005 00:47:17
3.5
|
barner |
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 |
31 Aug 2005 10:36:36
3.5
|
barner |
Add proofgeneral 3.5, a generic interface for proof assistants.
PR: 84788
Submitted by: Timothy Bourke <timbob@bigpond.com> |
If you buy from Amazon USA, please support us by using this link.