| Tue, 21 Jun 2005 00:45:56 +0200 | kleing | fix 'give up waiting message' (logs of running processes are not attached) | changeset | files |
| Mon, 20 Jun 2005 22:14:21 +0200 | wenzelm | * Pure: get_thm interface expects datatype thmref; | changeset | files |
| Mon, 20 Jun 2005 22:14:20 +0200 | wenzelm | avoid identifier 'Name'; | changeset | files |
| Mon, 20 Jun 2005 22:14:19 +0200 | wenzelm | Theory.begin/end_theory; | changeset | files |
| Mon, 20 Jun 2005 22:14:18 +0200 | wenzelm | clarify empty vs. pure browser info; | changeset | files |
| Mon, 20 Jun 2005 22:14:17 +0200 | wenzelm | added pointer_eq; | changeset | files |
| Mon, 20 Jun 2005 22:14:15 +0200 | wenzelm | thmref: Name vs. NameSelection; | changeset | files |