2007-09-24 wenzelm renamed ML-Systems/multithreading_dummy.ML to ML-Systems/multithreading.ML;
2007-09-24 wenzelm renamed ML-Systems/multithreading_dummy.ML to ML-Systems/multithreading.ML;
2007-09-24 wenzelm replaced interrupt_timeout by TimeLimit.timeLimit (available on SML/NJ and Poly/ML 5.1);
2007-09-23 wenzelm removed dead code;
2007-09-23 wenzelm made smlnj happy;
2007-09-23 wenzelm tuned @{cpat};
2007-09-23 wenzelm added read_term_pattern/schematic/abbrev;
2007-09-23 wenzelm ProofContext.read_term_pattern;
2007-09-23 wenzelm constrain: canonical argument order;
2007-09-23 wenzelm tuned;
2007-09-23 wenzelm TypeInfer.constrain: canonical argument order;
2007-09-23 wenzelm tuned ML setup;
Loading...
(0) -10000 -3000 -1000 -300 -100 -12 +12 +100 +300 +1000 +3000 +10000 +30000 tip