2012-07-05 wenzelm merged
2012-07-05 blanchet make SML/NJ happy + tuning
2012-07-05 blanchet tune type arg handling
2012-07-05 blanchet tuning
2012-07-05 blanchet fiddled with "tags_at" a bit -- the only non-tuning part of the change is a slight simplification of the typing axioms
2012-07-05 blanchet remove needless type arguments to "tags_at" encoding
2012-07-05 wenzelm removed obsolete psbooklet;
2012-07-05 wenzelm more directory structure;
2012-07-05 wenzelm explicit is better than implicit;
2012-07-05 wenzelm removed obsolete rev_contrapos (cf. 1d195de59497);
2012-07-05 wenzelm tuned proofs -- eliminated old-fashioned COMP and rev_contrapos;
2012-07-05 wenzelm prefer sys.env from scala 2.9;
2012-07-05 wenzelm prefer sys.exit from scala 2.9;
2012-07-05 wenzelm internalize error into command transaction -- relevant for commands that are declared via 'keywords', but not defined yet;
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip