| 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
|
| 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:48:11 +0200 |
lcp |
Added Id: line
|
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, 12 Jul 1994 18:20:39 +0200 |
lcp |
Improved error checking
|
file |
diff |
annotate
|
| Fri, 22 Apr 1994 20:23:02 +0200 |
clasohm |
renamed theory files
|
file |
diff |
annotate
|
| Tue, 09 Nov 1993 16:09:34 +0100 |
lcp |
Target "test" now depends on examples files
|
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
|