Wed, 01 Apr 2015 21:12:05 +0200 | wenzelm | imitate old "intern" semantics for the sake of outdated/unmaintained code, notably relevant for Simpl; | changeset | files |
Wed, 01 Apr 2015 19:31:28 +0200 | wenzelm | NEWS; | changeset | files |
Wed, 01 Apr 2015 18:22:55 +0200 | wenzelm | clarified "main" group, e.g. relevant for Isabelle/jEdit menu; | changeset | files |