Thu, 31 Jan 2013 17:54:05 +0100 eliminated needless speed optimization -- and simplified code quite a bit
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 51005
eliminated needless speed optimization -- and simplified code quite a bit
Thu, 31 Jan 2013 17:54:05 +0100 distinguish raw and non-raw facts, using raw for 10 000s of facts and non-raw after selection of some hundreds
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 51004
distinguish raw and non-raw facts, using raw for 10 000s of facts and non-raw after selection of some hundreds
Thu, 31 Jan 2013 17:54:05 +0100 report (MeSh, MePo, MaSh) triple, to be able to use different filters in different slices
blanchet [Thu, 31 Jan 2013 17:54:05 +0100] rev 51003
report (MeSh, MePo, MaSh) triple, to be able to use different filters in different slices
Thu, 31 Jan 2013 17:42:12 +0100 remove unnecessary assumption from real_normed_vector
hoelzl [Thu, 31 Jan 2013 17:42:12 +0100] rev 51002
remove unnecessary assumption from real_normed_vector
Thu, 31 Jan 2013 12:09:07 +0100 adapted to new MaSh interface
blanchet [Thu, 31 Jan 2013 12:09:07 +0100] rev 51001
adapted to new MaSh interface
Thu, 31 Jan 2013 11:31:30 +0100 use order topology for extended reals
hoelzl [Thu, 31 Jan 2013 11:31:30 +0100] rev 51000
use order topology for extended reals
Thu, 31 Jan 2013 11:31:27 +0100 introduce order topology
hoelzl [Thu, 31 Jan 2013 11:31:27 +0100] rev 50999
introduce order topology
Thu, 31 Jan 2013 11:31:22 +0100 simplify heine_borel type class
hoelzl [Thu, 31 Jan 2013 11:31:22 +0100] rev 50998
simplify heine_borel type class
Thu, 31 Jan 2013 11:20:12 +0100 compute proper weight for "p proves p" in MaSh
blanchet [Thu, 31 Jan 2013 11:20:12 +0100] rev 50997
compute proper weight for "p proves p" in MaSh
Tue, 15 Jan 2013 12:13:27 +0100 restore code equations for List.set in RBT_Set; make Scala happy according to 7.1 in the code generator manual
kuncar [Tue, 15 Jan 2013 12:13:27 +0100] rev 50996
restore code equations for List.set in RBT_Set; make Scala happy according to 7.1 in the code generator manual
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip