| Fri, 02 Oct 2015 19:34:12 +0200 | wenzelm | avoid useless empty case_names; | changeset | files |
| Fri, 02 Oct 2015 16:56:46 +0200 | wenzelm | clarified init (again): isabelle.Main is responsible to provide basic JVM setup, jedit.jar picks this up (e.g. list of known fonts), plugin cannot be loaded in isolation without isabelle.Main; | changeset | files |
| Fri, 02 Oct 2015 15:07:41 +0100 | paulson | New theorems about connected sets. And pairwise moved to Set.thy. | changeset | files |