blob: 4c7192a246e3c63e51ab5662948d1a50f91d6db3 (
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
|
<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...
</p>
<p>
Before that, we will release Proof General 2.1,
largely a bug-fix improvement of 2.0.
<p>
Please explore the web pages and report any problems
or suggestions to <?php pg_email() ?>.
</p><p>
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.
<div style="text-align: center; font-style: italic; font-family: lucidacalligrapy, \"brush script\", Technical, cursive"> - David.</div></p>
</li>
</ul>
|
