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