| 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 |
| Wed, 20 Apr 2011 10:14:24 +0200 | blanchet | increase "auto"'s timeout in example to help SML/NJ | changeset | files |