| Fri, 05 Aug 2016 20:26:13 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 05 Aug 2016 20:17:27 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 05 Aug 2016 18:14:34 +0200 | wenzelm | merged | changeset | files |
| Fri, 05 Aug 2016 18:14:28 +0200 | wenzelm | misc tuning and modernization; | changeset | files |
| Fri, 05 Aug 2016 16:36:03 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Fri, 05 Aug 2016 16:30:53 +0200 | wenzelm | Sidekick parser for isabelle-ml and sml mode; | changeset | files |
| Thu, 04 Aug 2016 21:30:20 +0200 | wenzelm | prefer hardwired "nothing"; | changeset | files |
| Thu, 04 Aug 2016 21:25:16 +0200 | wenzelm | NEWS; | changeset | files |
| Thu, 04 Aug 2016 21:21:31 +0200 | wenzelm | clarified handling of plain theory commands; | changeset | files |
| Thu, 04 Aug 2016 20:55:36 +0200 | wenzelm | support for context block structure in Sidekick; | changeset | files |
| Thu, 04 Aug 2016 11:32:21 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 04 Aug 2016 11:17:11 +0200 | wenzelm | clarified modules; | changeset | files |