Nominal/ROOT.ML
Fri, 26 Mar 2010 16:20:39 +0100 Cezary Kaliszyk Removed remaining cheats + some cleaning.
Wed, 24 Mar 2010 12:53:39 +0100 Christian Urban some tuning; possible fix for strange paper generation
Tue, 23 Mar 2010 09:34:32 +0100 Cezary Kaliszyk More modification needed for compilation
Wed, 17 Mar 2010 17:10:19 +0100 Christian Urban temporarily disabled tests in Nominal/ROOT
less more (0) -4 tip