preliminary release

This commit is contained in:
aarne
2005-05-09 16:36:17 +00:00
parent 6a79b6fe2d
commit 8d5e4b2538
2 changed files with 100 additions and 0 deletions

View File

@@ -18,6 +18,21 @@ November 8, 2004.
</p><h2>News</h2>
<i>May 9, 2005</i>. Version 2.2 coming soon. Here is a
<a href="download-2.2/gf-2.2.tgz">preliminary source release</a>.
Here are the <a href="doc/gf2.2-highlights.html">highlights</a>.
<p>
<i>May 9, 2005</i>.
PhD Thesis by
<a href="http://www.cs.chalmers.se/~krijo">Kristofer Johannisson</a>:
<a href="http://www.cs.chalmers.se/~krijo/thesis/thesisA4.pdf">
Formal and Informal Software Specifications</a>.
<p>
<i>March 15, 2005</i>.
Master's thesis by
<a href="http://www.cs.chalmers.se/~bringert/">Björn Bringert</a> on