wenzelm [Fri, 19 Dec 1997 10:18:58 +0100] rev 4447
log files;
'clean' target;
wenzelm [Fri, 19 Dec 1997 10:18:03 +0100] rev 4446
tuned;
wenzelm [Fri, 19 Dec 1997 10:17:04 +0100] rev 4445
added rev_order, make_ord;
reimplemented sort function: stable version of quicksort;
wenzelm [Fri, 19 Dec 1997 10:16:16 +0100] rev 4444
term order;
signature;
wenzelm [Fri, 19 Dec 1997 10:15:51 +0100] rev 4443
term order stuff moved to term.ML;
wenzelm [Fri, 19 Dec 1997 10:15:26 +0100] rev 4442
log file;
elapsed time;
wenzelm [Fri, 19 Dec 1997 10:14:55 +0100] rev 4441
'clean' target;
wenzelm [Fri, 19 Dec 1997 10:13:47 +0100] rev 4440
adapted to new sort function;
wenzelm [Fri, 19 Dec 1997 09:58:42 +0100] rev 4439
Term.termless;
wenzelm [Fri, 19 Dec 1997 09:58:03 +0100] rev 4438
adapted to new sort function;
wenzelm [Fri, 19 Dec 1997 09:57:24 +0100] rev 4437
removed maketest;
wenzelm [Thu, 18 Dec 1997 19:12:22 +0100] rev 4436
showtime - print time.
oheimb [Thu, 18 Dec 1997 12:50:58 +0100] rev 4435
added expand_split_asm
paulson [Thu, 18 Dec 1997 11:13:10 +0100] rev 4434
UNIV_I no longer counts as safe
wenzelm [Wed, 17 Dec 1997 18:13:43 +0100] rev 4433
tuned;
wenzelm [Wed, 17 Dec 1997 17:59:18 +0100] rev 4432
added mlworks;
wenzelm [Wed, 17 Dec 1997 17:51:39 +0100] rev 4431
added MLWorks;
wenzelm [Wed, 17 Dec 1997 15:43:54 +0100] rev 4430
misc improvements;
stack_overflow_handler;
wenzelm [Wed, 17 Dec 1997 15:43:22 +0100] rev 4429
tuned tmp file name;
wenzelm [Wed, 17 Dec 1997 14:57:26 +0100] rev 4428
tuned comment;
wenzelm [Wed, 17 Dec 1997 14:57:02 +0100] rev 4427
added ML-Systems/mlworks.ML;
wenzelm [Tue, 16 Dec 1997 19:00:38 +0100] rev 4426
MLWorks startup script (for 1.0r2 or later).
wenzelm [Tue, 16 Dec 1997 18:58:33 +0100] rev 4425
renamed to mlworks.ML;
wenzelm [Tue, 16 Dec 1997 18:58:16 +0100] rev 4424
Compatibility file for MLWorks version 1.0r2 or later.
wenzelm [Tue, 16 Dec 1997 17:58:03 +0100] rev 4423
expandshort;
paulson [Tue, 16 Dec 1997 15:17:26 +0100] rev 4422
Simplified proofs using rewrites for f``A where f is injective
paulson [Tue, 16 Dec 1997 15:15:38 +0100] rev 4421
Simplified SpyKeys and ClientKeyExch as suggested by James Margetson
wenzelm [Tue, 16 Dec 1997 12:37:11 +0100] rev 4420
obsolete;
wenzelm [Tue, 16 Dec 1997 12:24:31 +0100] rev 4419
tuned;
wenzelm [Tue, 16 Dec 1997 12:19:26 +0100] rev 4418
obsolete;