2005-06-21 haftmann removed mkcontent from makedist
2005-06-20 kleing fix 'give up waiting message' (logs of running processes are not attached)
2005-06-20 wenzelm * Pure: get_thm interface expects datatype thmref;
2005-06-20 wenzelm avoid identifier 'Name';
2005-06-20 wenzelm Theory.begin/end_theory;
2005-06-20 wenzelm clarify empty vs. pure browser info;
2005-06-20 wenzelm added pointer_eq;
2005-06-20 wenzelm thmref: Name vs. NameSelection;
2005-06-20 wenzelm refl_tac: avoid failure of unification, i.e. confusing trace msg;
2005-06-20 wenzelm print_theorems: proper use of PureThy.print_theorems_diff;
2005-06-20 wenzelm thmref: Name vs. NameSelection;
2005-06-20 wenzelm generalized type of inter;
Loading...
(0) -10000 -3000 -1000 -300 -100 -12 +12 +100 +300 +1000 +3000 +10000 +30000 tip