(r3) PGEmacs37Compatibility < PG

PG Web>ProofGeneralEmacs>PGEmacs37Compatibility (revision 3) (raw view)~~EditAttach~~

<!--- PLEASE SCROLL DOWN TO TABLES --->

---+ Release 3.7 of Proof General Emacs

We'd like to release a stable version of Proof General Emacs which works
with current provers and Emacs/operating system versions.  There hasn't been an official
stable release for some time; one reason for this is the effort involved in ensuring
compatibility between different Emacs, provers, and operating systems.


However, the [[http://proofgeneral.inf.ed.ac.uk/develdownload][development version]]
has been changed over the last couple of years to keep pace with many of these other 
changes.  It is in regular use by many people, but probably still hasn't been
tested on many platforms.

Since version 3.6 has been so long in the waiting, we'll deem it never released
and move straight to version 3.7.  But it will be essentially the release 3.6 with
added future compatibility for new prover versions.

Often after a release people find difficulties with particular combinations.  
To help avoid that as much as possible, please
add an entry to one of the tables below to confirm correct operation of PG 3.7 with
your Emacs version, prover, and operating system. See PGEmacsTestingNotes
for recommended tests that you may perform.

If you have any serious problems which you believe should be addressed
before release of 3.7, please add a note in the final subsection.  Pending
fixes are listed in the section before.

%TOC%

---++ Confirmed platforms for PG 3.7

<!--- please add your entries to the table for (GNU) Emacs or XEmacs as appropriate. -->
<!--- Please organise your entries by the PG version that you've tested.  Duplicated test cases -->
<!--- are welcomed.  -->

---+++ Emacs versions

| *PG Version*   | *Emacs version*   | *Prover version*  |  *Operating system* | *Comments* | *Contributor* |
|  3.6pre060526 | 21.4.1          | !Isabelle2005       | Linux Fedora Core 5  | ??                 | DavidAspinall  |
|  3.6pre060526 | 21.4.1          | Isabelle CVS head | Linux Fedora Core 5  | OK                | DavidAspinall  |
|  3.6pre060526 | CVS 23/8/06 | Isabelle CVS head | Linux Fedora Core 5  | <can't build>  | DavidAspinall  |



---+++ XEmacs versions

| *PG Version*   | *XEmacs version* | *Prover version*  |  *Operating system* | *Comments* | *Contributor* |
|  3.6pre060526 | 21.4.19         | !Isabelle2005       | Linux Fedora Core 5  | ??                 | DavidAspinall  |
|  3.6pre060526 | 21.4.19         | Isabelle CVS head | Linux Fedora Core 5  | OK                | DavidAspinall  |
|  3.6pre060526 | CVS 23/8/06  | Isabelle CVS head | Linux Fedora Core 5  | ??                 | DavidAspinall  |


---++ Outstanding fixes pending for PG 3.7

   * Documentation fixes: updates for tutorial; docstring-magic regexp fixes
   * Coq 8.1 tuning (please help test the new template code)


---++ Fixes/improvements requested for PG 3.7

Topic revision: r3 - 03 Jan 2007 - 19:50:07 - DavidAspinall

Main.PGEmacsVer37Final moved from Main.PGEmacsVer36Final on 03 Jan 2007 - 19:47 by DavidAspinall

Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies