| Mon, 17 Sep 2012 17:56:10 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 17 Sep 2012 17:49:11 +0200 | wenzelm | somewhat more general JEdit_Lib; | changeset | files |
| Mon, 17 Sep 2012 15:52:50 +0200 | wenzelm | prefer official polyml-5.5.0; | changeset | files |
| Mon, 17 Sep 2012 15:38:16 +0200 | wenzelm | bypass HOL-Mirabelle-ex in regular test, until its tendency to "hang" has been resolved; | changeset | files |