| Wed, 01 Apr 2015 22:40:41 +0200 | wenzelm | merged | changeset | files |
| Wed, 01 Apr 2015 22:40:07 +0200 | wenzelm | misc tuning -- keep name space more clean; | changeset | files |
| Wed, 01 Apr 2015 22:08:06 +0200 | wenzelm | added command 'experiment'; | changeset | files |
| 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 |