Changes between Version 25 and Version 26 of WikiStart


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

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v25 v26  
    2828== Emacs issues affecting Proof General ==
    2929
    30  * These have keyword "emacsbug", see: search:?q=emacsbug
     30 * These have keyword "emacsbug", see: search:?q=emacsbug&ticket=on
    3131
    3232== Pointers ==