| 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
|