Admin/isasync
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