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