| Sat, 25 Jul 2009 10:31:27 +0200 | wenzelm | renamed structure Display_Goal to Goal_Display; | changeset | files |
| Sat, 25 Jul 2009 00:53:47 +0200 | wenzelm | tuned tracing; | changeset | files |
| Sat, 25 Jul 2009 00:39:05 +0200 | wenzelm | added Multithreading.real_time; | changeset | files |
| Sat, 25 Jul 2009 00:13:39 +0200 | wenzelm | simplified/unified Multithreading.tracing_time; | changeset | files |
| Fri, 24 Jul 2009 23:36:37 +0200 | wenzelm | get_name: cover only PThm, not PAxm; | changeset | files |
| Fri, 24 Jul 2009 22:59:28 +0200 | wenzelm | eliminated OldGoals.read_term; | changeset | files |
| Fri, 24 Jul 2009 22:59:08 +0200 | wenzelm | more antiquotations instead of adhoc ML stuff; | changeset | files |
| Fri, 24 Jul 2009 22:31:27 +0200 | wenzelm | ML_Context.the_local_context; | changeset | files |