Tue, 21 Nov 2000 19:02:31 +0100 quote executable;
wenzelm [Tue, 21 Nov 2000 19:02:31 +0100] rev 10504
quote executable;
Tue, 21 Nov 2000 19:02:07 +0100 tuned;
wenzelm [Tue, 21 Nov 2000 19:02:07 +0100] rev 10503
tuned;
Tue, 21 Nov 2000 16:25:32 +0100 ;
bauerg [Tue, 21 Nov 2000 16:25:32 +0100] rev 10502
;
Tue, 21 Nov 2000 13:48:47 +0100 adjusted for BV changes (Ok -> OK)
kleing [Tue, 21 Nov 2000 13:48:47 +0100] rev 10501
adjusted for BV changes (Ok -> OK)
Tue, 21 Nov 2000 13:28:23 +0100 thebibliography environment: replaced the Springer version by the standard one
paulson [Tue, 21 Nov 2000 13:28:23 +0100] rev 10500
thebibliography environment: replaced the Springer version by the standard one in book.cls
Tue, 21 Nov 2000 11:31:45 +0100 alternative function definition;
bauerg [Tue, 21 Nov 2000 11:31:45 +0100] rev 10499
alternative function definition;
Tue, 21 Nov 2000 10:37:04 +0100 *** empty log message ***
nipkow [Tue, 21 Nov 2000 10:37:04 +0100] rev 10498
*** empty log message ***
Mon, 20 Nov 2000 16:41:25 +0100 BCV integration (type system is semilattice)
kleing [Mon, 20 Nov 2000 16:41:25 +0100] rev 10497
BCV integration (type system is semilattice)
Mon, 20 Nov 2000 16:37:42 +0100 BCV integration (first step)
kleing [Mon, 20 Nov 2000 16:37:42 +0100] rev 10496
BCV integration (first step)
Sat, 18 Nov 2000 19:48:34 +0100 export freeze_thaw_type;
wenzelm [Sat, 18 Nov 2000 19:48:34 +0100] rev 10495
export freeze_thaw_type;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip