Changes between Version 24 and Version 25 of WikiStart


Ignore:
Timestamp:
Jan 12, 2011, 3:32:48 PM (13 years ago)
Author:
David Aspinall
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v24 v25  
    2626 * See tickets for [query:status=new|accepted|assigned|reopened&milestone=PG-Emacs-4.1 Proof General Emacs version 4.1]
    2727
     28== Emacs issues affecting Proof General ==
     29
     30 * These have keyword "emacsbug", see: search:?q=emacsbug
     31
    2832== Pointers ==
    2933