Mon, 14 Jul 2008 23:28:26 +0200 | wenzelm | cover macbroy as well; | file | diff | annotate |
Mon, 26 Nov 2007 10:42:39 +0100 | haftmann | simplified website rsync | file | diff | annotate |
Tue, 15 Nov 2005 14:08:32 +0100 | wenzelm | better no -d option; | file | diff | annotate |
Tue, 27 Sep 2005 15:30:37 +0200 | haftmann | website preparation for Isabelle2005 | file | diff | annotate |