| Wed, 18 Dec 1996 15:16:13 +0100 |
oheimb |
removed Holcfb.thy and Holcfb.ML, moving classical3 to HOL.ML as classical2
|
file |
diff |
annotate
|
| Fri, 29 Nov 1996 12:15:33 +0100 |
oheimb |
renamed is_flat to flat,
|
file |
diff |
annotate
|
| Wed, 27 Nov 1996 10:31:05 +0100 |
paulson |
Makefile improvements by Thomas Santen and Stephan Herrmann
|
file |
diff |
annotate
|
| Mon, 21 Oct 1996 11:18:34 +0200 |
paulson |
ISABELLECOMP may now have a leading pathname
|
file |
diff |
annotate
|
| Tue, 15 Oct 1996 10:46:42 +0200 |
paulson |
Removed extraneous spaces from all Makefiles
|
file |
diff |
annotate
|
| Wed, 25 Sep 1996 11:10:31 +0200 |
paulson |
Calls discgarb -c to realize dramatic space savings!
|
file |
diff |
annotate
|
| Tue, 23 Apr 1996 17:04:23 +0200 |
oheimb |
adapted several proofs
|
file |
diff |
annotate
|
| Sat, 10 Feb 1996 19:04:21 +0100 |
clasohm |
make_html now only remains set if MAKE_HTML=true
|
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, 21 Nov 1995 12:41:52 +0100 |
clasohm |
replaced exit_use by exit_use_dir for subdirectories
|
file |
diff |
annotate
|
| Wed, 25 Oct 1995 12:53:53 +0100 |
clasohm |
added init_html and make_chart
|
file |
diff |
annotate
|
| Tue, 10 Oct 1995 11:55:45 +0100 |
regensbu |
corrected some errors that occurred after introduction of local simpsets
|
file |
diff |
annotate
|
| Fri, 06 Oct 1995 17:25:24 +0100 |
regensbu |
added 8bit pragmas
|
file |
diff |
annotate
|
| Wed, 15 Mar 1995 10:34:47 +0100 |
lcp |
Now calls exit_use instead of use, for prompt failure if errors are detected.
|
file |
diff |
annotate
|
| Tue, 28 Feb 1995 10:51:52 +0100 |
lcp |
Uses "suffix substitution" to shorten macro definitions.
|
file |
diff |
annotate
|
| Mon, 28 Nov 1994 19:48:30 +0100 |
regensbu |
----------------------------------------------------------------------
|
file |
diff |
annotate
|
| Tue, 12 Jul 1994 18:20:39 +0200 |
lcp |
Improved error checking
|
file |
diff |
annotate
|
| Wed, 27 Apr 1994 11:27:33 +0200 |
lcp |
added many more filenames to FILES and EX_FILES
|
file |
diff |
annotate
|
| Fri, 22 Apr 1994 21:47:22 +0200 |
clasohm |
renamed theory files
|
file |
diff |
annotate
|
| Wed, 19 Jan 1994 17:35:01 +0100 |
nipkow |
Franz Regensburger's Higher-Order Logic of Computable Functions embedding LCF
|
file |
diff |
annotate
|