| Fri, 16 Apr 2004 10:23:47 +0200 | kleing | say how to install PG and poly | file | diff | annotate |
| Fri, 16 Apr 2004 10:21:06 +0200 | kleing | fix cvs id | file | diff | annotate |
| Fri, 16 Apr 2004 10:20:34 +0200 | kleing | describe how to work on Isabelle repository version | file | diff | annotate |