| Wed, 20 Apr 2011 16:49:52 +0200 | wenzelm | standardized some ML aliases; | changeset | files |
| Wed, 20 Apr 2011 16:18:47 +0200 | wenzelm | avoid Display.string_of_thm_without_context; | changeset | files |
| Wed, 20 Apr 2011 15:55:34 +0200 | wenzelm | eliminated global references / critical sections via context data; | changeset | files |
| Wed, 20 Apr 2011 14:33:33 +0200 | wenzelm | explicit context for Codegen.eval_term etc.; | changeset | files |
| Wed, 20 Apr 2011 13:54:07 +0200 | wenzelm | added Theory.nodes_of convenience; | changeset | files |
| Wed, 20 Apr 2011 13:17:25 +0200 | wenzelm | updated reference machines; | changeset | files |
| Wed, 20 Apr 2011 13:10:54 +0200 | wenzelm | migrated macbroy6 to macbroy30, which is the new "mobile" server (2 cores, 4 GB, Mac OS 10.5); | changeset | files |
| Wed, 20 Apr 2011 11:21:12 +0200 | wenzelm | merged | changeset | files |