1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
<p>
<!-- da: Put this line in instead if you're not me -->
<!-- <i>(News items entered by <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a> -->
<!-- unless noted.)</i> -->
<i>News items by <a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.</i>
</p>
<ul>
<li><b>25th May 2000</b>
<p>
Minor patch 3.1.6 released today. This turns off toolbar enablers if
you're running XEmacs on Solaris; because of strange Solaris problems,
buttons are disabled too often there. (You can live without
this part of the patch by customizing the variable
<tt>proof-toolbar-use-button-enablers</tt>).
The patch also removes
the use of an "interval timer" when
<tt>proof-toolbar-use-button-enablers</tt> is off, since a user
reported being unable to start itimers unless
running as root (likely an operating system configuration problem).
Thanks to Markus Wenzel and Pierre Lescanne for reporting problems.
</p>
<li><b>9th May 2000</b>
<p>
New! For developers, a web-browsable
mirror of the Proof General cvs is available
<a href="http://zermelo.dcs.ed.ac.uk/cgi-bin/cvsweb.cgi">here</a>.
</p>
<li><b>5th May 2000</b>
<p>
New!
Proof General <?php fileshow("ProofGeneral/FAQ", "FAQ");?>.
Please send questions or suggestions for inclusion to
<a href="mailto:proofgen@dcs.ed.ac.uk">proofgen@dcs.ed.ac.uk</a>,
thanks.
</p>
<li><b>28th April 2000</b>
<p>
A minor patch to Proof General 3.1 is released today. To check what
version you have, look at the variable <tt>proof-general-version</tt>
set in <tt>proof-site.el</tt>. (It is not recorded in the tar file
name or package version). The current patch, to 3.1.4, was made to
fix a problem with Isabelle and theory file retraction, accidently
introduced in 3.1. See <?php
fileshow("ProofGeneral-3.1-devel/etc/release-log.txt","the developer's
release log"); ?> for details.
NB: This patch was first made on 4th April, but didn't quite solve the
problem. Thanks to Mike Squire for sending a patch to fix the fix.
</p>
<p>
Further improvements are being introduced in the new 3.2 pre-releases,
see the
<a href="develdownload.phtml">development download</a> page, as usual.
</p>
<li><b>23rd March 2000</b>
<p>
Proof General 3.1 is now available from the
<?php link_root("download","download page") ?>. Enjoy!
</p>
</li>
</ul>
<p>
<i>Click <a href="oldnews.phtml">here</a> for old news.</i>
</p>
|
