Tue, 03 Nov 2009 17:30:43 +0100 | Cezary Kaliszyk | merge | changeset | files |
Tue, 03 Nov 2009 17:30:27 +0100 | Cezary Kaliszyk | applic_prs | changeset | files |
Tue, 03 Nov 2009 16:51:33 +0100 | Christian Urban | simplified the quotient_def code; type of the defined constant must now be given; for-part eliminated | changeset | files |