| Tue, 09 Nov 2010 13:59:37 +0000 | paulson | tidied using metis | changeset | files |
| Wed, 10 Nov 2010 15:59:23 +0100 | wenzelm | manage folding via sidekick by default; | changeset | files |
| Wed, 10 Nov 2010 15:47:56 +0100 | wenzelm | eliminated obsolete heading category -- superseded by heading_level; | changeset | files |
| Wed, 10 Nov 2010 15:43:06 +0100 | wenzelm | treat main theory commands like headings, and nest anything else inside; | changeset | files |
| Wed, 10 Nov 2010 15:42:20 +0100 | wenzelm | proper treatment of equal heading level; | changeset | files |
| Wed, 10 Nov 2010 15:41:29 +0100 | wenzelm | added missing Keyword.THY_SCHEMATIC_GOAL; | changeset | files |
| Wed, 10 Nov 2010 15:17:25 +0100 | wenzelm | default Sidekick parser based on section headings; | changeset | files |
| Wed, 10 Nov 2010 15:00:40 +0100 | wenzelm | some support for nested source structure, based on section headings; | changeset | files |