| Thu, 22 Jul 2010 22:58:18 +0200 | wenzelm | eliminated some unused Thy_Info operations; | changeset | files |
| Thu, 22 Jul 2010 22:50:35 +0200 | wenzelm | refrain from generating <hr/> and from "hiding" it in isabelle.css -- the latter might be used in other situations as well; | changeset | files |
| Thu, 22 Jul 2010 22:39:31 +0200 | wenzelm | generic external source files -- nothing special about ML here; | changeset | files |