Changes between Version 30 and Version 31 of WikiStart

Timestamp:

Oct 19, 2012, 5:27:40 PM (12 years ago)

Author:

David Aspinall

Comment:

--

WikiStart

@@ -1 +1 @@
 = Welcome to [http://proofgeneral.inf.ed.ac.uk Proof General] Trac! =
 
-This is our project management and issue tracking system.   If you have a bug to report,
+This is our project management and issue tracking system.  
+
+To login, you must use a generic account (hint: name of your preferred proof assistant followed by "user", with the same password: e.g. "coquser", "isabelleuser" etc).
+
+Login is necessary to avoid automated spamming.  Account creation and email sending has been disabled for the same reason, unfortunately.
+
+If you have a bug to report,
 a patch to supply or an enhancement to suggest please:
 
@@ -11 +17 @@
 (e.g., which version of Emacs or Eclipse, and which version of Isabelle, Coq, etc).
 
-To login, you must use a generic account (hint: name of your preferred proof assistant followed by "user", with the same password: e.g. "coquser", "isabelleuser" etc).
-
-Login is necessary to avoid automated spamming.  Account creation and email sending has been disabled for the same reason, unfortunately.
-
-
 Thanks!
 
 ''-- Proof General Developers''
 
-== Current Attention: PG Eclipse 1.0.6 and Emacs Proof General 4.2 ==
+== Current Attention: Emacs Proof General 4.3 ==
+
+ * See tickets for [query:status=new|accepted|assigned|reopened&milestone=PG-Emacs-4.3 Proof General Emacs version 4.3]
+
+== Suspended project: Proof General Eclipse 1.0.6 ==
 
  * 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.2 Proof General Emacs version 4.2]
 
 == Emacs issues affecting Proof General ==