cvs commit: ports/math/proofgeneral Makefile ports/math/proofgeneral/files patch-doc-Makefile.doc

2012-07-12 Thread Alex Kozlov
ak 2012-07-12 14:05:30 UTC FreeBSD ports repository Modified files: math/proofgeneralMakefile math/proofgeneral/files patch-doc-Makefile.doc Log: - Fix build with new texi2html - Ignore attempts to compile with XEmacs, it is not supported by the ProofGeneral deve

cvs commit: ports/math/proofgeneral Makefile

2012-06-27 Thread Pav Lucistnik
pav 2012-06-27 19:30:14 UTC FreeBSD ports repository Modified files: math/proofgeneralMakefile Log: - Mark BROKEN: does not build texi2html -expandinfo -number -split_chapter --noheader --output PG-adapting PG-adapting.texi Option number is ambiguous (number-foot

cvs commit: ports/math/proofgeneral Makefile distinfo pkg-plist ports/math/proofgeneral/files patch-Makefile patch-doc-Makefile.doc patch-etc_desktop_proofgeneral.desktop patch-isar-interface

2012-04-19 Thread Michael Scheidell
scheidell2012-04-19 22:38:31 UTC FreeBSD ports repository Modified files: math/proofgeneralMakefile distinfo pkg-plist math/proofgeneral/files patch-Makefile patch-doc-Makefile.doc patch-etc_desktop_proofgeneral.desktop

cvs commit: ports/math/proofgeneral Makefile ports/lang/polyml Makefile ports/math/isabelle Makefile

2010-02-26 Thread Martin Wilke
miwi2010-02-26 09:30:28 UTC FreeBSD ports repository Modified files: math/proofgeneralMakefile lang/polyml Makefile math/isabelleMakefile Log: - Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu) PR: 143994 143995 14399

cvs commit: ports/math/proofgeneral Makefile distinfo pkg-plist ports/math/proofgeneral/files patch-Makefile patch-isar-interface

2008-08-14 Thread Edwin Groothuis
edwin 2008-08-15 01:03:23 UTC FreeBSD ports repository Modified files: math/proofgeneralMakefile distinfo pkg-plist math/proofgeneral/files patch-Makefile Added files: math/proofgeneral/files patch-isar-interface Log: [MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7

cvs commit: ports/math/proofgeneral Makefile distinfo pkg-plist ports/math/proofgeneral/files patch-Makefile patch-doc-Makefile.doc patch-isa_isabelle-system.el pkg-message.in

2008-04-04 Thread Rong-En Fan
rafan 2008-04-04 12:13:33 UTC FreeBSD ports repository Modified files: math/proofgeneralMakefile distinfo pkg-plist math/proofgeneral/files patch-Makefile patch-doc-Makefile.doc patch-isa_isabelle-system.el pkg-messa

cvs commit: ports/math/proofgeneral Makefile

2007-10-27 Thread Jeremy Messenger
mezz2007-10-27 19:44:46 UTC FreeBSD ports repository Modified files: math/proofgeneralMakefile Log: 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.

cvs commit: ports/math/proofgeneral Makefile

2007-10-25 Thread Jeremy Messenger
mezz2007-10-25 17:44:43 UTC FreeBSD ports repository Modified files: math/proofgeneralMakefile Log: Fix the *.desktop installation, bump the PORTREVISION. Reported by:pointyhat-exp Approved by:Related with our (FreeBSD GNOME Team) big change Revision

cvs commit: ports/math/proofgeneral Makefile

2007-04-01 Thread Kris Kennaway
kris2007-04-01 21:08:15 UTC FreeBSD ports repository Modified files: math/proofgeneralMakefile Log: Now appears to build on amd64 Revision ChangesPath 1.14 +0 -4 ports/math/proofgeneral/Makefile ___ cvs-all

cvs commit: ports/math/proofgeneral Makefile ports/math/proofgeneral/files patch-Makefile

2007-03-05 Thread Andrey Slusar
anray 2007-03-05 19:38:17 UTC FreeBSD ports repository Modified files: math/proofgeneralMakefile math/proofgeneral/files patch-Makefile Log: Fix deinstall and unbroke port. PR: ports/109930 Submitted by: Timothy Bourke (maintainer) Revision C

cvs commit: ports/math/proofgeneral Makefile

2007-02-26 Thread Kris Kennaway
kris2007-02-27 04:54:19 UTC FreeBSD ports repository Modified files: math/proofgeneralMakefile Log: BROKEN: Incomplete pkg-plist Revision ChangesPath 1.12 +2 -0 ports/math/proofgeneral/Makefile ___ cvs-all@

cvs commit: ports/math/proofgeneral Makefile distinfo pkg-plist ports/math/proofgeneral/files patch-Makefile

2007-02-06 Thread Andrey Slusar
anray 2007-02-06 22:55:25 UTC FreeBSD ports repository Modified files: math/proofgeneralMakefile distinfo pkg-plist math/proofgeneral/files patch-Makefile Log: * Remove the direct inclusion of bsd.emacs.mk * Use the misc/gnomehier and misc/hicolor-icon/theme ports

cvs commit: ports/math/proofgeneral Makefile

2006-12-09 Thread Kris Kennaway
kris2006-12-09 19:57:26 UTC FreeBSD ports repository Modified files: math/proofgeneralMakefile Log: Deprecate and expire on 2007-02-07 to give the maintainer more incentive to work on this long-standing problem. Revision ChangesPath 1.10 +2 -0 port

cvs commit: ports/math/proofgeneral Makefile

2006-11-30 Thread Kris Kennaway
kris2006-11-30 23:39:45 UTC FreeBSD ports repository Modified files: math/proofgeneralMakefile Log: BROKEN: incomplete pkg-plist Revision ChangesPath 1.9 +2 -0 ports/math/proofgeneral/Makefile ___ cvs-all@

Re: cvs commit: ports/math/proofgeneral Makefile distinfo pkg-plist

2006-11-11 Thread Kris Kennaway
On Sat, Nov 11, 2006 at 07:15:29PM +, Andrey Slusar wrote: > anray 2006-11-11 19:15:29 UTC > > FreeBSD ports repository > > Modified files: > math/proofgeneralMakefile distinfo pkg-plist > Log: > Fix plist and unbroken port. > > PR: ports/105383 > Rep

cvs commit: ports/math/proofgeneral Makefile distinfo pkg-plist

2006-11-11 Thread Andrey Slusar
anray 2006-11-11 19:15:29 UTC FreeBSD ports repository Modified files: math/proofgeneralMakefile distinfo pkg-plist Log: Fix plist and unbroken port. PR: ports/105383 Reported by:pointyhat Submitted by: Timothy Bourke (maintainer) Revision C

cvs commit: ports/math/proofgeneral Makefile

2006-10-15 Thread Kris Kennaway
kris2006-10-15 20:06:03 UTC FreeBSD ports repository Modified files: math/proofgeneralMakefile Log: BROKEN: Incorrect pkg-plist Approved by:portmgr (self) Revision ChangesPath 1.7 +2 -0 ports/math/proofgeneral/Makefile _

cvs commit: ports/math/proofgeneral Makefile distinfo pkg-plist ports/math/proofgeneral/files patch-Makefile patch-doc-Makefile patch-doc-Makefile.doc patch-etc_desktop_proofgeneral.desktop patch-gene

2006-05-01 Thread Sergey Matveychuk
sem 2006-05-01 18:00:51 UTC FreeBSD ports repository Modified files: math/proofgeneralMakefile distinfo pkg-plist math/proofgeneral/files patch-Makefile patch-doc-Makefile patch-doc-Makefile.doc patch-etc_desktop_p