| Mon, 27 Aug 2012 14:34:54 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 19 Aug 2012 17:45:07 +0200 | wenzelm | actual use of (sos remote_csdp) via ISABELLE_FULL_TEST; | changeset | files |
| Mon, 27 Aug 2012 11:41:54 +0200 | wenzelm | test with many add-ons; | changeset | files |