blanchet [Wed, 11 Sep 2013 15:49:39 +0200] rev 54672
more (co)data docs
blanchet [Wed, 11 Sep 2013 15:22:43 +0200] rev 54671
more (co)datatype documentation
blanchet [Wed, 11 Sep 2013 14:07:24 +0200] rev 54670
tuning
blanchet [Wed, 11 Sep 2013 14:07:24 +0200] rev 54669
disable some checks for huge background theories
blanchet [Wed, 11 Sep 2013 14:07:24 +0200] rev 54668
tuning
blanchet [Wed, 11 Sep 2013 14:07:24 +0200] rev 54667
reintroduced half of f99ee3adb81d -- that part definitely looks useless (and is inefficient)
blanchet [Wed, 11 Sep 2013 14:07:24 +0200] rev 54666
reverted f99ee3adb81d -- that old logic seems to make a difference still today
wenzelm [Wed, 11 Sep 2013 11:38:07 +0200] rev 54665
merged
wenzelm [Wed, 11 Sep 2013 11:34:27 +0200] rev 54664
tuned comment;
wenzelm [Wed, 11 Sep 2013 11:08:48 +0200] rev 54663
tuned;