| Fri, 05 Jun 2015 11:11:26 +0200 | wenzelm | clarified signature -- better support for Isar commands outside of Pure; | changeset | files |
| Wed, 03 Jun 2015 21:48:40 +0200 | wenzelm | merged | changeset | files |
| Wed, 03 Jun 2015 19:25:05 +0200 | wenzelm | clarified context; | changeset | files |
| Tue, 02 Jun 2015 23:00:50 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 02 Jun 2015 19:56:29 +0200 | wenzelm | clarified context; | changeset | files |
| Tue, 02 Jun 2015 17:27:01 +0200 | wenzelm | cleaified context; | changeset | files |
| Tue, 02 Jun 2015 13:55:43 +0200 | wenzelm | clarified context; | changeset | files |
| Tue, 02 Jun 2015 11:03:02 +0200 | wenzelm | clarified context; | changeset | files |