quotient_info.ML
Fri, 27 Nov 2009 02:35:50 +0100 Christian Urban deleted obsolete qenv code
Sat, 21 Nov 2009 23:23:01 +0100 Christian Urban slight tuning
Sat, 21 Nov 2009 10:58:08 +0100 Christian Urban tunded
Sat, 21 Nov 2009 02:53:23 +0100 Christian Urban flagged qenv-stuff as obsolete
Sat, 21 Nov 2009 02:49:39 +0100 Christian Urban simplified get_fun so that it uses directly rty and qty, instead of qenv
Fri, 20 Nov 2009 13:03:01 +0100 Christian Urban started regularize of rtrm/qtrm version; looks quite promising
less more (0) -10 -6 tip