Changes between Version 23 and Version 24 of WikiStart

Timestamp:

Oct 11, 2010, 12:34:19 AM (14 years ago)

Author:

David Aspinall

Comment:

--

WikiStart

@@ -4 +4 @@
 a patch to supply or an enhancement to suggest please:
 
- 1. [http://proofgeneral.inf.ed.ac.uk/trac/search search] to see if it has already been reported;
- 1. if not, or if you have something to add, [http://proofgeneral.inf.ed.ac.uk/trac/login login] to use trac and make a ticket using the [http://proofgeneral.inf.ed.ac.uk/trac/newticket "New Ticket"] button.
+ 1. [http://proofgeneral.inf.ed.ac.uk/trac/search search] to see if something similar has already been reported;
+ 1. if not, [http://proofgeneral.inf.ed.ac.uk/trac/login login] to use trac and make a ticket using the [http://proofgeneral.inf.ed.ac.uk/trac/newticket "New Ticket"] button.
 
 Please try to select the right components/version for your report and, in the case
@@ -21 +21 @@
 '''Please note''': for security reasons, email sending is currently disabled on this Trac installation, so you will not receive email alerts for bug reports automatically.  Our apologies for this.
 
-== Current Attention: PG Eclipse 1.0.6 and Emacs Proof General 4.0 ==
+== Current Attention: PG Eclipse 1.0.6 and Emacs Proof General 4.1 ==
 
  * See tickets for [query:status=new|accepted|assigned|reopened&milestone=PG-Eclipse-1.0.6 Proof General Eclipse version 1.0.6]
- * See tickets for [query:status=new|accepted|assigned|reopened&milestone=PG-Emacs-4.0 Proof General Emacs version 4.0]
+ * See tickets for [query:status=new|accepted|assigned|reopened&milestone=PG-Emacs-4.1 Proof General Emacs version 4.1]
 
 == Pointers ==