blob: 74f4d367cde4578359d0871c43c8e4927b88f3f1 (
plain)
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
|
<ul>
<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>
|
