Wed, 15 Mar 1995 11:25:24 +0100 Now mentions Coind
lcp [Wed, 15 Mar 1995 11:25:24 +0100] rev 958
Now mentions Coind
Wed, 15 Mar 1995 11:01:08 +0100 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.
Wed, 15 Mar 1995 10:59:20 +0100 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.
Wed, 15 Mar 1995 10:56:39 +0100 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).
Wed, 15 Mar 1995 10:53:58 +0100 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.
Wed, 15 Mar 1995 10:34:47 +0100 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.
Tue, 14 Mar 1995 10:40:04 +0100 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.
(0) -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip