| 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 |