Thu, 18 Jan 2001 20:40:47 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 01 Dec 2000 19:43:57 +0100 |
wenzelm |
use_dir: modes;
|
file |
diff |
annotate
|
Sun, 23 Jul 2000 12:08:07 +0200 |
wenzelm |
disallow duplicates in session identifiers;
|
file |
diff |
annotate
|
Fri, 05 May 2000 22:09:41 +0200 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
Sat, 05 Feb 2000 16:57:02 +0100 |
wenzelm |
additional tex dump;
|
file |
diff |
annotate
|
Tue, 05 Oct 1999 15:35:34 +0200 |
wenzelm |
use_dir: doc;
|
file |
diff |
annotate
|
Tue, 17 Aug 1999 19:24:00 +0200 |
berghofe |
Better handling of path for remote theory browsing information.
|
file |
diff |
annotate
|
Tue, 17 Aug 1999 14:00:30 +0200 |
berghofe |
Path for remote theory browsing information is now stored in referece variable rpath.
|
file |
diff |
annotate
|
Mon, 17 May 1999 21:33:22 +0200 |
wenzelm |
ThyInfo.finalize_all renamed to ThyInfo.finish;
|
file |
diff |
annotate
|
Mon, 17 May 1999 16:59:49 +0200 |
berghofe |
Changed interface of function use_dir.
|
file |
diff |
annotate
|
Wed, 12 May 1999 16:54:31 +0200 |
wenzelm |
rearranged some modules;
|
file |
diff |
annotate
|
Thu, 11 Mar 1999 12:32:40 +0100 |
wenzelm |
moved Thy/session.ML to Isar/session.ML;
|
file |
diff |
annotate
|