| Sun, 02 Nov 2014 17:27:22 +0100 | wenzelm | obsolete; | changeset | files |
| Sun, 02 Nov 2014 17:23:48 +0100 | wenzelm | modernized header; | changeset | files |
| Sun, 02 Nov 2014 17:20:45 +0100 | wenzelm | modernized header; | changeset | files |
| Sun, 02 Nov 2014 17:16:01 +0100 | wenzelm | modernized header; | changeset | files |
| Sun, 02 Nov 2014 17:14:15 +0100 | wenzelm | modernized header; | changeset | files |
| Sun, 02 Nov 2014 17:13:28 +0100 | wenzelm | modernized header; | changeset | files |
| Sun, 02 Nov 2014 17:09:04 +0100 | wenzelm | modernized header; | changeset | files |
| 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 |