Changes between Version 8 and Version 9 of WikiStart


Ignore:
Timestamp:
Nov 14, 2007, 5:48:21 PM (16 years ago)
Author:
David Aspinall
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v8 v9  
    1818alerts for bug reports automatically.  Our apologies for this.
    1919
    20 == Current Attention ==
     20== Current Attention: Proof General 3.7 release ==
    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
    2324 
    2425== Pointers ==