diff options
| -rw-r--r-- | CHANGES | 4 | ||||
| -rw-r--r-- | html/news.html | 12 | ||||
| -rw-r--r-- | todo | 3 |
3 files changed, 17 insertions, 2 deletions
@@ -31,11 +31,11 @@ recompile the sources for a particular Emacs version, try: Check the settings in the Makefile for your Emacs version. -*** Bundling of X-Symbol Mode (4.5 beta) +*** Bundling of X-Symbol Mode (4.5.1-beta) !!THIS IS WORK IN PROGRESS, IT MAY WELL BREAK X-SYMBOL FOR YOU!! -[ Currenly should be working in Isabelle, not other provers ] +[ Currenly should be working in Isabelle, perhaps not other provers ] To disable use of the bundled version, either delete/move away the x-symbol subdirectory, or load your own local version first [put diff --git a/html/news.html b/html/news.html index 5ef51adc..aa385457 100644 --- a/html/news.html +++ b/html/news.html @@ -1,6 +1,18 @@ <h2>News about Proof General</h2> <ul> +<li><b>25th September 2003</b> +<p> +There is a new <a href="develdownload">development</a> version of +Proof General released today. There are some minor fixes, and an +updated version of X-Symbol bundled. Please test it and let me know +how you get on. It would be nice to release the final version 3.5 at +last. +</p> +Also, the <a href="kit">Proof General Kit</a> page has been +updated to mention current development efforts. +</p> + <li><b>29th August 2002</b> <p> <i>Proof General 3.4 is released. Happy Proving!</i> @@ -53,6 +53,9 @@ X (Low) e.g. probably not worth spending time on ** 2. Things to do in the generic interface +*** PGIP SUPPORT (minimal for Isabelle patch): + -- settings with categories + *** [ Don't query save before retraction ?? ] *** A settings configuration for Isabelle: add backwards |