paulson [Mon, 22 Dec 1997 11:16:47 +0100] rev 4462
New rules rev_iffD{1,2}
oheimb [Fri, 19 Dec 1997 19:59:50 +0100] rev 4461
corrected removal to /tmp/tmp.c
oheimb [Fri, 19 Dec 1997 19:57:28 +0100] rev 4460
added removal to /tmp/tmp.txt
narasche [Fri, 19 Dec 1997 13:31:08 +0100] rev 4459
records without signature
narasche [Fri, 19 Dec 1997 13:30:21 +0100] rev 4458
remove signatrue from records
wenzelm [Fri, 19 Dec 1997 12:16:32 +0100] rev 4457
tuned;
wenzelm [Fri, 19 Dec 1997 12:09:58 +0100] rev 4456
new version;
wenzelm [Fri, 19 Dec 1997 12:09:08 +0100] rev 4455
added record.ML;
narasche [Fri, 19 Dec 1997 12:00:24 +0100] rev 4454
first version of records
wenzelm [Fri, 19 Dec 1997 10:33:59 +0100] rev 4453
pasted old insertion sort (does not work with new sort function!)
wenzelm [Fri, 19 Dec 1997 10:33:24 +0100] rev 4452
adapted to new sort function;
wenzelm [Fri, 19 Dec 1997 10:31:13 +0100] rev 4451
log file;
elapsed time;
wenzelm [Fri, 19 Dec 1997 10:30:27 +0100] rev 4450
leading 0s;
wenzelm [Fri, 19 Dec 1997 10:28:33 +0100] rev 4449
tuned;
wenzelm [Fri, 19 Dec 1997 10:27:23 +0100] rev 4448
adapted to new sort function;
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