CVS log for ports/math/proofgeneral/files/pkg-message.in
![[BACK]](/gifs/back.gif){kind=small}
Up to [FreeBSD] / ports / math / proofgeneral / files
Request diff between arbitrary revisions
Keyword substitution: kv
Default branch: MAIN
Revision 1.2: download - view: text, markup, annotated - select for diffs
Fri Apr 4 12:13:33 2008 UTC (3 years, 10 months ago) by rafan
Branches: MAIN
CVS tags: RELEASE_9_0_0, RELEASE_8_2_0, RELEASE_8_1_0, RELEASE_8_0_0, RELEASE_7_4_0, RELEASE_7_3_0, RELEASE_7_2_0, RELEASE_7_1_0, RELEASE_6_EOL, RELEASE_6_4_0, RELEASE_5_EOL, HEAD
Diff to: previous 1.1: preferred, colored
Changes since revision 1.1: +1 -1 lines
- Update to 3.7 PR: ports/120987 Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
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
CVS tags: RELEASE_7_0_0, RELEASE_6_3_0, RELEASE_6_2_0, RELEASE_6_1_0, RELEASE_5_5_0, RELEASE_4_EOL, PRE_XORG_7
Add proofgeneral 3.5, a generic interface for proof assistants. PR: 84788 Submitted by: Timothy Bourke <timbob@bigpond.com>