Skip site navigation (1)Skip section navigation (2)

CVS log for ports/math/proofgeneral/Makefile

[BACK] Up to [FreeBSD] / ports / math / proofgeneral

Request diff between arbitrary revisions

Keyword substitution: kv
Default branch: MAIN

Revision 1.27: download - view: text, markup, annotated - select for diffs
Sat Jun 18 16:13:31 2011 UTC (7 months, 3 weeks ago) by hrs
Branches: MAIN
CVS tags: RELEASE_9_0_0, HEAD
Diff to: previous 1.26: preferred, colored
Changes since revision 1.26: +3 -2 lines
- 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.
Revision 1.26: download - view: text, markup, annotated - select for diffs
Mon May 2 12:44:44 2011 UTC (9 months, 1 week ago) by makc
Branches: MAIN
Diff to: previous 1.25: preferred, colored
Changes since revision 1.25: +1 -1 lines
Bump PORTREVISION after open-mofit update
Revision 1.25: download - view: text, markup, annotated - select for diffs
Sun Mar 28 06:39:43 2010 UTC (22 months, 2 weeks ago) by dinoex
Branches: MAIN
CVS tags: RELEASE_8_2_0, RELEASE_8_1_0, RELEASE_7_4_0, RELEASE_6_EOL
Diff to: previous 1.24: preferred, colored
Changes since revision 1.24: +1 -1 lines
- update to 1.4.1
Reviewed by:	exp8 run on pointyhat
Supported by:	miwi
Revision 1.24: download - view: text, markup, annotated - select for diffs
Fri Feb 26 09:30:27 2010 UTC (23 months, 2 weeks ago) by miwi
Branches: MAIN
CVS tags: RELEASE_7_3_0
Diff to: previous 1.23: preferred, colored
Changes since revision 1.23: +1 -1 lines
- 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
Revision 1.23: download - view: text, markup, annotated - select for diffs
Fri Feb 5 11:41:02 2010 UTC (2 years ago) by dinoex
Branches: MAIN
Diff to: previous 1.22: preferred, colored
Changes since revision 1.22: +1 -1 lines
- update to jpeg-8
Revision 1.22: download - view: text, markup, annotated - select for diffs
Fri Jul 31 13:53:46 2009 UTC (2 years, 6 months ago) by dinoex
Branches: MAIN
CVS tags: RELEASE_8_0_0
Diff to: previous 1.21: preferred, colored
Changes since revision 1.21: +1 -0 lines
- bump all port that indirectly depends on libjpeg and have not yet been bumped or updated
Requested by:	edwin
Revision 1.21: download - view: text, markup, annotated - select for diffs
Fri Aug 15 01:03:23 2008 UTC (3 years, 5 months ago) by edwin
Branches: MAIN
CVS tags: RELEASE_7_2_0, RELEASE_7_1_0, RELEASE_6_4_0
Diff to: previous 1.20: preferred, colored
Changes since revision 1.20: +5 -4 lines
[MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1

PR:		ports/126066
Submitted by:	Timothy Bourke <timbob@bigpond.com>
Revision 1.20: download - view: text, markup, annotated - select for diffs
Fri Jun 6 13:44:02 2008 UTC (3 years, 8 months ago) by edwin
Branches: MAIN
Diff to: previous 1.19: preferred, colored
Changes since revision 1.19: +1 -0 lines
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)
Revision 1.19: download - view: text, markup, annotated - select for diffs
Fri Apr 4 12:13:32 2008 UTC (3 years, 10 months ago) by rafan
Branches: MAIN
CVS tags: RELEASE_5_EOL
Diff to: previous 1.18: preferred, colored
Changes since revision 1.18: +3 -3 lines
- Update to 3.7

PR:		ports/120987
Submitted by:	Timothy Bourke <timbob at bigpond.com> (maintainer)
Revision 1.18: download - view: text, markup, annotated - select for diffs
Sat Oct 27 19:44:46 2007 UTC (4 years, 3 months ago) by mezz
Branches: MAIN
CVS tags: RELEASE_7_0_0, RELEASE_6_3_0
Diff to: previous 1.17: preferred, colored
Changes since revision 1.17: +2 -2 lines
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
Revision 1.17: download - view: text, markup, annotated - select for diffs
Thu Oct 25 17:44:42 2007 UTC (4 years, 3 months ago) by mezz
Branches: MAIN
Diff to: previous 1.16: preferred, colored
Changes since revision 1.16: +4 -1 lines
Fix the *.desktop installation, bump the PORTREVISION.

Reported by:    pointyhat-exp
Approved by:    Related with our (FreeBSD GNOME Team) big change
Revision 1.16: download - view: text, markup, annotated - select for diffs
Wed Oct 24 23:36:04 2007 UTC (4 years, 3 months ago) by marcus
Branches: MAIN
Diff to: previous 1.15: preferred, colored
Changes since revision 1.15: +1 -1 lines
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
Revision 1.15: download - view: text, markup, annotated - select for diffs
Sat May 19 20:15:13 2007 UTC (4 years, 8 months ago) by flz
Branches: MAIN
Diff to: previous 1.14: preferred, colored
Changes since revision 1.14: +1 -1 lines
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
Revision 1.14: download - view: text, markup, annotated - select for diffs
Sun Apr 1 21:08:15 2007 UTC (4 years, 10 months ago) by kris
Branches: MAIN
CVS tags: PRE_XORG_7
Diff to: previous 1.13: preferred, colored
Changes since revision 1.13: +0 -4 lines
Now appears to build on amd64
Revision 1.13: download - view: text, markup, annotated - select for diffs
Mon Mar 5 19:38:17 2007 UTC (4 years, 11 months ago) by anray
Branches: MAIN
Diff to: previous 1.12: preferred, colored
Changes since revision 1.12: +0 -2 lines
Fix deinstall and unbroke port.

PR:		ports/109930
Submitted by:	Timothy Bourke (maintainer)
Revision 1.12: download - view: text, markup, annotated - select for diffs
Tue Feb 27 04:54:19 2007 UTC (4 years, 11 months ago) by kris
Branches: MAIN
Diff to: previous 1.11: preferred, colored
Changes since revision 1.11: +2 -0 lines
BROKEN: Incomplete pkg-plist
Revision 1.11: download - view: text, markup, annotated - select for diffs
Tue Feb 6 22:55:25 2007 UTC (5 years ago) by anray
Branches: MAIN
Diff to: previous 1.10: preferred, colored
Changes since revision 1.10: +22 -31 lines
* 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)
Revision 1.10: download - view: text, markup, annotated - select for diffs
Sat Dec 9 19:57:26 2006 UTC (5 years, 2 months ago) by kris
Branches: MAIN
CVS tags: RELEASE_4_EOL
Diff to: previous 1.9: preferred, colored
Changes since revision 1.9: +2 -0 lines
Deprecate and expire on 2007-02-07 to give the maintainer more incentive
to work on this long-standing problem.
Revision 1.9: download - view: text, markup, annotated - select for diffs
Thu Nov 30 23:39:45 2006 UTC (5 years, 2 months ago) by kris
Branches: MAIN
Diff to: previous 1.8: preferred, colored
Changes since revision 1.8: +2 -0 lines
BROKEN: incomplete pkg-plist
Revision 1.8: download - view: text, markup, annotated - select for diffs
Sat Nov 11 19:15:29 2006 UTC (5 years, 3 months ago) by anray
Branches: MAIN
Diff to: previous 1.7: preferred, colored
Changes since revision 1.7: +2 -3 lines
Fix plist and unbroken port.

PR:		ports/105383
Reported by:	pointyhat
Submitted by:	Timothy Bourke (maintainer)
Revision 1.7: download - view: text, markup, annotated - select for diffs
Sun Oct 15 20:06:03 2006 UTC (5 years, 3 months ago) by kris
Branches: MAIN
CVS tags: RELEASE_6_2_0
Diff to: previous 1.6: preferred, colored
Changes since revision 1.6: +2 -0 lines
BROKEN: Incorrect pkg-plist

Approved by:    portmgr (self)
Revision 1.6: download - view: text, markup, annotated - select for diffs
Wed May 10 22:37:11 2006 UTC (5 years, 9 months ago) by edwin
Branches: MAIN
Diff to: previous 1.5: preferred, colored
Changes since revision 1.5: +0 -1 lines
Remove USE_REINPLACE from ports starting with M
Revision 1.5: download - view: text, markup, annotated - select for diffs
Sat May 6 08:44:13 2006 UTC (5 years, 9 months ago) by sem
Branches: MAIN
Diff to: previous 1.4: preferred, colored
Changes since revision 1.4: +1 -0 lines
- 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
Revision 1.4: download - view: text, markup, annotated - select for diffs
Mon May 1 18:00:51 2006 UTC (5 years, 9 months ago) by sem
Branches: MAIN
Diff to: previous 1.3: preferred, colored
Changes since revision 1.3: +4 -11 lines
- Update to 3.6

PR:		ports/94670
Submitted by:	maintainer
Revision 1.3: download - view: text, markup, annotated - select for diffs
Fri Oct 28 06:34:44 2005 UTC (6 years, 3 months ago) by kris
Branches: MAIN
CVS tags: RELEASE_6_1_0, RELEASE_5_5_0
Diff to: previous 1.2: preferred, colored
Changes since revision 1.2: +4 -0 lines
BROKEN on amd64: Does not build
Revision 1.2: download - view: text, markup, annotated - select for diffs
Thu Sep 15 00:47:16 2005 UTC (6 years, 4 months ago) by barner
Branches: MAIN
Diff to: previous 1.1: preferred, colored
Changes since revision 1.1: +22 -7 lines
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
Revision 1.1: download - view: text, markup, annotated - select for diffs
Wed Aug 31 10:36:36 2005 UTC (6 years, 5 months ago) by barner
Branches: MAIN
Add proofgeneral 3.5, a generic interface for proof assistants.

PR:		84788
Submitted by:	Timothy Bourke <timbob@bigpond.com>
Diff request

This form allows you to request diffs between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.

Log view options