Fri, 15 Sep 2000 20:47:06 +0200 *** empty log message ***
wenzelm [Fri, 15 Sep 2000 20:47:06 +0200] rev 10002
*** empty log message ***
Fri, 15 Sep 2000 20:35:17 +0200 added;
wenzelm [Fri, 15 Sep 2000 20:35:17 +0200] rev 10001
added;
Fri, 15 Sep 2000 20:34:00 +0200 someI2_ex;
wenzelm [Fri, 15 Sep 2000 20:34:00 +0200] rev 10000
someI2_ex;
Fri, 15 Sep 2000 20:22:36 +0200 added "congs" keyword;
wenzelm [Fri, 15 Sep 2000 20:22:36 +0200] rev 9999
added "congs" keyword;
Fri, 15 Sep 2000 20:22:00 +0200 fixed someI2_ex;
wenzelm [Fri, 15 Sep 2000 20:22:00 +0200] rev 9998
fixed someI2_ex;
Fri, 15 Sep 2000 20:20:45 +0200 keep export of ISABELLE_TMP (!!!);
wenzelm [Fri, 15 Sep 2000 20:20:45 +0200] rev 9997
keep export of ISABELLE_TMP (!!!);
Fri, 15 Sep 2000 20:19:24 +0200 added s/selectI/someI/g;
wenzelm [Fri, 15 Sep 2000 20:19:24 +0200] rev 9996
added s/selectI/someI/g;
Fri, 15 Sep 2000 20:18:36 +0200 tuned;
wenzelm [Fri, 15 Sep 2000 20:18:36 +0200] rev 9995
tuned;
Fri, 15 Sep 2000 20:18:08 +0200 XSYMBOL_INSTALLFONTS is back;
wenzelm [Fri, 15 Sep 2000 20:18:08 +0200] rev 9994
XSYMBOL_INSTALLFONTS is back;
Fri, 15 Sep 2000 20:07:15 +0200 *** empty log message ***
nipkow [Fri, 15 Sep 2000 20:07:15 +0200] rev 9993
*** empty log message ***
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip