1995-03-17 fixed two severe bugs in calc_xrules and case_rule
clasohm [Fri, 17 Mar 1995 22:46:26 +0100] rev 964
fixed two severe bugs in calc_xrules and case_rule
1995-03-17 Corrected a silly old bug in merge_tsigs.
nipkow [Fri, 17 Mar 1995 15:52:55 +0100] rev 963
Corrected a silly old bug in merge_tsigs. Rewrote a lot of Nimmermann's code.
1995-03-17 Added a few thms to nat_ss and list_ss
nipkow [Fri, 17 Mar 1995 15:49:37 +0100] rev 962
Added a few thms to nat_ss and list_ss
1995-03-17 Removed bugs which occurred due to new generation mechanism for type variables
regensbu [Fri, 17 Mar 1995 15:35:09 +0100] rev 961
Removed bugs which occurred due to new generation mechanism for type variables
1995-03-15 Removed exception handlers, as they are now in ZF/Makefile.
lcp [Thu, 16 Mar 1995 00:00:30 +0100] rev 960
Removed exception handlers, as they are now in ZF/Makefile.
1995-03-15 removed print_msg parameter of infer_types
clasohm [Wed, 15 Mar 1995 12:52:03 +0100] rev 959
removed print_msg parameter of infer_types
1995-03-15 Now mentions Coind
lcp [Wed, 15 Mar 1995 11:25:24 +0100] rev 958
Now mentions Coind
1995-03-15 Removed exception handlers, as they are now in ZF/Makefile.
lcp [Wed, 15 Mar 1995 11:01:08 +0100] rev 957
Removed exception handlers, as they are now in ZF/Makefile.
1995-03-15 Now calls exit_use instead of use, for prompt failure if errors are detected.
lcp [Wed, 15 Mar 1995 10:59:20 +0100] rev 956
Now calls exit_use instead of use, for prompt failure if errors are detected.
1995-03-15 Declares the function exit_use to behave like use but fail if
lcp [Wed, 15 Mar 1995 10:56:39 +0100] rev 955
Declares the function exit_use to behave like use but fail if errors are detected. It can be used in all Makefiles except Pure, which will write the exception handler explicitly ("exit" will have been declared already).
1995-03-15 Now the "use" call has an exception handler, for prompt failure
lcp [Wed, 15 Mar 1995 10:53:58 +0100] rev 954
Now the "use" call has an exception handler, for prompt failure if errors are detected.
1995-03-15 Now calls exit_use instead of use, for prompt failure if errors are detected.
lcp [Wed, 15 Mar 1995 10:34:47 +0100] rev 953
Now calls exit_use instead of use, for prompt failure if errors are detected.
1995-03-14 Removed an old bug which made some simultaneous instantiations fail if they
nipkow [Tue, 14 Mar 1995 10:40:04 +0100] rev 952
Removed an old bug which made some simultaneous instantiations fail if they were given in the "wrong" order. Rewrote sign/infer_types. Fixed some comments.
1995-03-14 added exit 1
nipkow [Tue, 14 Mar 1995 09:47:28 +0100] rev 951
added exit 1
1995-03-13 Removed superfluous type constraint
nipkow [Mon, 13 Mar 1995 09:42:50 +0100] rev 950
Removed superfluous type constraint
(0) -300 -100 -15 +15 +100 +300 +1000 +3000 +10000 +30000 tip