| 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 |
| Thu, 22 Jul 2010 22:31:20 +0200 | wenzelm | discontinued special treatment of ML files -- no longer complete extensions on demand; | changeset | files |
| Thu, 22 Jul 2010 20:46:45 +0200 | wenzelm | eliminated obsolete/unused with_path(s) -- hardly usable because of CRITICAL; | changeset | files |
| Thu, 22 Jul 2010 20:36:41 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 22 Jul 2010 18:08:39 +0200 | wenzelm | updated some headers; | changeset | files |
| Thu, 22 Jul 2010 17:26:31 +0200 | haftmann | merged | changeset | files |