lib/Tools/install
Sat, 20 Dec 2008 11:39:27 +0100 wenzelm removed Ids;
Sun, 30 Nov 2008 14:03:45 +0100 wenzelm removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
Tue, 21 Oct 2008 20:18:07 +0200 wenzelm tuned usage line;
less more (0) -10 -3 tip