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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
|
<ul>
<li><b>1st October 1999</b><br>
<p>
Recently there has been a flurry of work on the forthcoming Proof General 2.2. <br>
It has quite a number of improvements (see
the <?php fileshow("ProofGeneral/CHANGES","CHANGES"); ?> file), made
by myself and Markus Wenzel. <br>
Version 2.2 is aimed to coincide
(or perhaps pre-empt) the release of Isabelle 99.
</p>
<p>
At the moment we <b>urgently need</b> somebody from the Coq world to
maintain and improve Coq Proof General, since Patrick Loiseleur
can no longer work on it. <br>
Support from the Coq community is vital for Proof General to
be a useful tool there. <br>
<a href="feedback.phtml">Please offer to help</a>, it needn't be
heavy commitment.
</p>
<p>
<i>- David.</i>
</p>
<li><b>13th September 1999</b><br>
<p>
I've just returned from the
<a href="http://www-sop.inria.fr/types-project/types-sum-school.html">Types Summer School, Giens, France</a>
where Proof General was used for a class of
about 50 students who were learning
Coq, Isabelle, and LEGO. I received
many useful comments and feedback,
which will be
used to improve the next version.
Thanks to everyone who gave suggestions and bug reports
to me, including:
Michael Abbott,
Bernd Grobauer,
Sebastian Skalberg,
Thierry Massart,
Darmalingum Muthiayen.
<br>
<i>- David.</i>
</p>
<li><b>27th August 1999</b><br>
<p>
Print pictures from the new
<a href="gallery.phtml">gallery</a>
of publicity shots of Proof General!
</p>
<li><b>24th August 1999</b><br>
<p>
Proof General version 2.1 is released.
<br>
Check the <?php fileshow("ProofGeneral-2.1/CHANGES","CHANGES"); ?> file
for a summary of changes since Proof General 2.0.
</p>
<p>
It is recommended that all users upgrade except
those still using Isabelle 98-1.
<br>
Proof General 2.1 supports only the 99 version of Isabelle.
</p>
</li>
<li><b>24th June 1999</b><br>
<p>
New Proof General web pages go live!
</p>
<p>
The general is now more serious looking.
Appropriate, because there are some serious improvements
in the pipeline...
Before that, we will release Proof General 2.1,
mainly a bug-fix improvement of 2.0.
</p>
<p>
Please explore the new web pages and report any problems
or suggestions to <?php pg_email() ?>.
Please also try out the latest pre-release of Proof General,
this is the final chance to get fixes and tweaks
sorted before 2.1.
</p>
</li>
<li><b>11th May 1999</b><br>
<p>A new instantiation of Proof General has been added by
<a href="http://www.dur.ac.uk/~dcs1pcc/">Paul Callaghan</a>
for
<a href="http://www.dur.ac.uk/~dcs7ttg/plastic.html">Plastic</a>,
a new proof assistant based on
Luo's Typed Logical Framework and
implemented in Haskell.
</p>
</li>
<li><b>16th April 1999</b><br>
<p>A new instantiation of Proof General has been added by
<a href="http://www.in.tum.de/~wenzelm/">Markus Wenzel</a>
for <a href="http://isabelle.in.tum.de/Isar/">Isabelle/Isar</a>,
a new proof language for Isabelle to be included with Isabelle 99.
</p>
</li>
</ul>
|
