Changes between Version 6 and Version 7 of WikiStart


Ignore:
Timestamp:
Nov 12, 2007, 6:08:41 PM (16 years ago)
Author:
David Aspinall
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v6 v7  
    1515''-- Proof General Developers''
    1616
     17== Current Attention ==
     18
     19 * See tickets for [query:status=new|assigned|reopened&milestone=PG-Emacs-3.7 Proof General Emacs version 3.7]
     20 
    1721== Pointers ==
    1822