| Fri, 03 Sep 2010 23:54:48 +0200 |
wenzelm |
turned eta_contract into proper configuration option;
|
file |
diff |
annotate
|
| Fri, 27 Aug 2010 14:07:09 +0200 |
wenzelm |
expanded some aliases from structure Unsynchronized;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2009 16:24:36 +0200 |
wenzelm |
explicit indication of Unsynchronized.ref;
|
file |
diff |
annotate
|
| Thu, 23 Jul 2009 21:59:56 +0200 |
wenzelm |
misc modernization: proper method setup instead of adhoc ML proofs;
|
file |
diff |
annotate
|
| Tue, 31 Jul 2007 23:23:28 +0200 |
wenzelm |
simultaneous use_thys;
|
file |
diff |
annotate
|
| Tue, 18 Jul 2006 02:22:38 +0200 |
wenzelm |
removed obsolete ML files;
|
file |
diff |
annotate
|
| Sat, 17 Sep 2005 17:35:26 +0200 |
wenzelm |
converted to Isar theory format;
|
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
|
| Tue, 21 Nov 1995 15:10:12 +0100 |
clasohm |
main directory is now read by exit_use_dir, too;
|
file |
diff |
annotate
|
| Tue, 24 Oct 1995 14:42:15 +0100 |
clasohm |
added calls of init_html and make_chart
|
file |
diff |
annotate
|
| Thu, 06 Apr 1995 10:49:53 +0200 |
lcp |
Now sets eta_contract.
|
file |
diff |
annotate
|
| Tue, 16 Nov 1993 14:10:19 +0100 |
clasohm |
changed use_thy's parameter to exact theory name
|
file |
diff |
annotate
|
| Fri, 22 Oct 1993 13:35:15 +0100 |
clasohm |
changes for new Readthy
|
file |
diff |
annotate
|
| Sun, 17 Oct 1993 16:30:16 +0100 |
clasohm |
renamed: terms.* to term.*, types.* to type.*, wf.* to wfd.*
|
file |
diff |
annotate
|
| Thu, 16 Sep 1993 12:20:38 +0200 |
clasohm |
Initial revision
|
file |
diff |
annotate
|