| Mon, 23 Jul 2012 15:05:05 +0200 | wenzelm | pass ISABELLE_BROWSER_INFO as explicit argument; | changeset | files |
| Mon, 23 Jul 2012 14:18:28 +0200 | wenzelm | removed some old/unused stuff; | changeset | files |
| Mon, 23 Jul 2012 12:05:48 +0200 | wenzelm | updated smlnj settings; | changeset | files |