| Sun, 02 Nov 2014 16:39:54 +0100 | wenzelm | modernized header; | changeset | files |
| Sun, 02 Nov 2014 16:09:35 +0100 | wenzelm | more flexibile \setisabellecontext, independently of header; | changeset | files |
| Sun, 02 Nov 2014 16:05:43 +0100 | wenzelm | prefer explicit heading command; | changeset | files |
| Sun, 02 Nov 2014 15:27:37 +0100 | wenzelm | uniform heading commands work in any context, even in theory header; | changeset | files |
| Sun, 02 Nov 2014 13:26:20 +0100 | wenzelm | eliminated dead code; | changeset | files |
| Sat, 01 Nov 2014 20:19:07 +0100 | wenzelm | clarified syntax -- avoid overlap with command category; | changeset | files |