| Wed, 12 May 2010 13:54:49 +0200 | wenzelm | removed obsolete CVS Ids; | file | diff | annotate |
| Mon, 26 Nov 2007 10:42:39 +0100 | haftmann | simplified website rsync | file | diff | annotate |
| Mon, 21 Nov 2005 10:44:14 +0100 | haftmann | fixed some inconveniencies in website | file | diff | annotate |
| Thu, 29 Sep 2005 19:37:20 +0200 | wenzelm | refer to $PRG instead of (old) rsync-isabelle; | file | diff | annotate |
| Tue, 27 Sep 2005 15:30:37 +0200 | haftmann | website preparation for Isabelle2005 | file | diff | annotate |