| Tue, 09 Nov 2010 14:02:12 +0100 |
haftmann |
fun_rel_def is no simp rule by default
|
changeset |
files
|
| Tue, 09 Nov 2010 14:00:10 +0000 |
paulson |
merged
|
changeset |
files
|
| 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
|
| 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
|
| Tue, 09 Nov 2010 22:37:10 +0100 |
wenzelm |
updated version;
|
changeset |
files
|
| Tue, 09 Nov 2010 21:52:05 +0100 |
wenzelm |
private counter, to keep externalized ids a bit smaller;
|
changeset |
files
|