| Sun, 02 Nov 2014 17:06:05 +0100 | wenzelm | modernized header; | changeset | files |
| Sun, 02 Nov 2014 16:59:40 +0100 | wenzelm | clarified legacy command; | changeset | files |
| Sun, 02 Nov 2014 16:54:06 +0100 | wenzelm | modernized header; | changeset | files |
| Sun, 02 Nov 2014 16:50:42 +0100 | wenzelm | obsolete; | changeset | files |
| Sun, 02 Nov 2014 16:47:45 +0100 | wenzelm | added update_header tool; | changeset | files |
| 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 |