Sat, 13 Mar 2010 16:44:12 +0100 |
wenzelm |
removed old CVS Ids;
|
file |
diff |
annotate
|
Tue, 31 Jul 2007 23:23:28 +0200 |
wenzelm |
simultaneous use_thys;
|
file |
diff |
annotate
|
Thu, 07 Apr 2005 09:25:33 +0200 |
wenzelm |
reverted renaming of Some/None in comments and strings;
|
file |
diff |
annotate
|
Sun, 13 Feb 2005 17:15:14 +0100 |
skalberg |
Deleted Library.option type.
|
file |
diff |
annotate
|
Tue, 30 May 2000 16:08:38 +0200 |
wenzelm |
cleaned up;
|
file |
diff |
annotate
|
Thu, 11 Mar 1999 13:20:35 +0100 |
wenzelm |
removed foo_build_completed -- now handled by session management (via usedir);
|
file |
diff |
annotate
|
Fri, 08 May 1998 13:54:45 +0200 |
wenzelm |
proper thy files;
|
file |
diff |
annotate
|
Fri, 19 Dec 1997 10:18:03 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 20 Mar 1997 11:09:01 +0100 |
wenzelm |
replaced ex.ML by ex/ROOT.ML, ex/ex.ML;
|
file |
diff |
annotate
|