Changes between Version 9 and Version 10 of WikiStart


Ignore:
Timestamp:
Dec 12, 2007, 7:44:41 PM (16 years ago)
Author:
David Aspinall
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v9 v10  
    2121
    2222 * See tickets for [query:status=new|assigned|reopened&milestone=PG-Emacs-3.7 Proof General Emacs version 3.7]
    23  * Please add an entry at http://proofgeneral.inf.ed.ac.uk/wiki/Main/PGEmacsVer37Final
     23 * Please add an entry at http://proofgeneral.inf.ed.ac.uk/wiki/Main/PGEmacsCompatibility
    2424 
    2525== Pointers ==