[Added darcs repo to homepage.
bringert@cs.chalmers.se**20050622151908] {
hunk ./index.html 141
-<p>Get the <a href="hoj-20040520.tar.gz">HOJ source code</a>.</p>
+<p>The development version of HOJ is available in the 
+<a href="http://www.cs.chalmers.se/~bringert/darcs/hoj/">HOJ darcs repo</a>.
+Use darcs <a href="http://www.darcs.net/">darcs</a> to get it:</p>
+
+<pre>
+$ darcs get http://www.cs.chalmers.se/~bringert/darcs/hoj/
+</pre>
hunk ./index.html 160
-<p>I gave a short <a href="hoj-topics-pres.pdf">presentation on HOJ</a>
+<p>I gave a short <a href="http://www.cs.chalmers.se/~bringert/hoj/hoj-topics-pres.pdf">presentation on HOJ</a>
hunk ./index.html 174
-Pizza into Java: Translating Theory into Practice, M. Odersky and P. Wadler, 
-1997. Available online at: 
-<a href="http://pizzacompiler.sourceforge.net/doc/pizza-language-spec.pdf">http://pizzacompiler.sourceforge.net/doc/pizza-language-spec.pdf</a>. 
+<a href="http://pizzacompiler.sourceforge.net/doc/pizza-language-spec.pdf">Pizza into Java: Translating Theory into Practice</a>, M. Odersky and P. Wadler, 
+1997.
}