| 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 |
| Wed, 10 Nov 2010 11:44:35 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 09 Nov 2010 23:24:46 +0100 | wenzelm | misc tuning and simplification, using Isabelle_Sidekick.Asset (not sidekick.Asset, which is dynamically dispatched to slightly different semantics); | changeset | files |