diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 09:25:04 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 09:25:04 +0000 |
| commit | 1743c14b5a7588fac8d14d6c6983b1020d920ca8 (patch) | |
| tree | 514af80c577487c7be8b7a5b2256f27f253c8182 /etc | |
| parent | 59d458e04f8bb18cb120611c5cf8e3b78a7e31ad (diff) | |
Update towards 3.4
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/announce | 30 | ||||
| -rw-r--r-- | etc/release-log.txt | 7 |
2 files changed, 21 insertions, 16 deletions
diff --git a/etc/announce b/etc/announce index 1dbda9ff..6311cb10 100644 --- a/etc/announce +++ b/etc/announce @@ -30,9 +30,9 @@ tag for comp.lang.ml, comp.lang.functional: -Subject: Proof General --- Version 3.3 release +Subject: Proof General --- Version 3.4 release - Announcing Proof General Version 3.3 + Announcing Proof General Version 3.4 A Generic Emacs interface for Interactive Proof Assistants http://www.proofgeneral.org @@ -48,31 +48,33 @@ Proof General includes these features, amongst others: . Script management: proof assistant state reflected in editor . Toolbar and menus: commands for building and replaying proofs . Syntax highlighting of proof scripts and prover output; hiding proofs -. Display of real logical symbols, greek letters, etc +. Display of real logical symbols, greek letters, etc with X-Symbol +. Activation of prover output for subterm navigation, proof-by-pointing . Simplified communication: proof assistant verbosity hidden . Menu for jumping to theorems in a proof script . Provision to easily run proof assistant on a remote host . Works on any platform Emacs does, in window system or plain console -Summary of changes since 3.2: +Summary of changes since 3.3: -. Visibility control for completed proofs -. Dependency browsing/highlighting (currently Isabelle only) +. GPL license +. In Isabelle: tracing buffers and active highlighting of variables +. In Coq: much improved synchronization (inc sections, nested proofs) +. Improvements to generic code, instantiation mechanisms. . Bug fixes -. Compatibility improvements: XEmacs 21.4, Coq 7, Windows +. Compatibility improvements: XEmacs 21.4, Emacs 21.2 -For details of changes since 3.2, see -http://www.proofgeneral.org/fileshow.php?file=ProofGeneral-3.3%2FCHANGES +For details of changes since 3.3, see +http://www.proofgeneral.org/fileshow.php?file=ProofGeneral-3.4%2FCHANGES For the latest user manual, see http://www.proofgeneral.org/doc -Proof General needs a recent version of Emacs to run with, and it much -prefers XEmacs to FSF GNU Emacs. Proof General 3.3 has been tested -with XEmacs 21.4 and Emacs 20.7. (It may work back to XEmacs 20.4 and -Emacs 20.2, though). +Proof General needs a recent version of Emacs to run with. Proof +General 3.4 has been tested with XEmacs 21.1 and 21.4, and GNU Emacs +21.2. Older versions of XEmacs may work but are not guaranteed. Installing Proof General is easy. Why not give it a try? - David Aspinall <da@dcs.ed.ac.uk> - September 2001. + August 2002. diff --git a/etc/release-log.txt b/etc/release-log.txt index 8c9c3986..045601ee 100644 --- a/etc/release-log.txt +++ b/etc/release-log.txt @@ -1,8 +1,11 @@ +XX.08.02 3.4 Release 3-4-1 + + +-------------------- + 9.9.01 3.3 Release 3-3 based on branch 6.0 (repeated 10.9.01 to fix doc build) --------------------- - 02.10.00 3.2 Release 3-2 based on branch 5.0 -------------------- |