Changes between Version 27 and Version 28 of WikiStart


Ignore:
Timestamp:
Dec 17, 2011, 9:17:45 AM (12 years ago)
Author:
David Aspinall
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v27 v28  
    2525''-- Proof General Developers''
    2626
    27 == Current Attention: PG Eclipse 1.0.6 and Emacs Proof General 4.1 ==
     27== Current Attention: PG Eclipse 1.0.6 and Emacs Proof General 4.2 ==
    2828
    2929 * See tickets for [query:status=new|accepted|assigned|reopened&milestone=PG-Eclipse-1.0.6 Proof General Eclipse version 1.0.6]
    30  * See tickets for [query:status=new|accepted|assigned|reopened&milestone=PG-Emacs-4.1 Proof General Emacs version 4.1]
     30 * See tickets for [query:status=new|accepted|assigned|reopened&milestone=PG-Emacs-4.2 Proof General Emacs version 4.2]
    3131
    3232== Emacs issues affecting Proof General ==