1999-10-30 Isabelle99;
wenzelm [Sat, 30 Oct 1999 20:41:30 +0200] rev 7986
Isabelle99;
1999-10-30 fixed deps;
wenzelm [Sat, 30 Oct 1999 20:39:01 +0200] rev 7985
fixed deps;
1999-10-30 tuned;
wenzelm [Sat, 30 Oct 1999 20:32:04 +0200] rev 7984
tuned;
1999-10-30 tuned;
wenzelm [Sat, 30 Oct 1999 20:21:46 +0200] rev 7983
tuned;
1999-10-30 improved presentation;
wenzelm [Sat, 30 Oct 1999 20:20:48 +0200] rev 7982
improved presentation;
1999-10-30 tuned;
wenzelm [Sat, 30 Oct 1999 20:13:16 +0200] rev 7981
tuned;
(0) -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip