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 |