| 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
|
| Tue, 09 Nov 2010 21:44:19 +0100 |
wenzelm |
added general Synchronized.counter convenience;
|
changeset |
files
|
| Tue, 09 Nov 2010 21:13:06 +0100 |
wenzelm |
explicitly identify forked/joined tasks;
|
changeset |
files
|
| Tue, 09 Nov 2010 11:27:58 +0100 |
wenzelm |
accomodate old manuals that include pdfsetup.sty without isabelle.sty;
|
changeset |
files
|
| Tue, 09 Nov 2010 11:17:15 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 08 Nov 2010 23:02:20 +0100 |
krauss |
removed type-inference-like behaviour from relation_tac completely; tuned
|
changeset |
files
|
| Mon, 08 Nov 2010 20:55:27 +0100 |
wenzelm |
avoid clash of \<upharpoonright> vs. \<restriction> (cf. 666ea7e62384 and 3c49dbece0a8);
|
changeset |
files
|
| Mon, 08 Nov 2010 20:50:56 +0100 |
wenzelm |
explicitly check uniqueness of symbol recoding;
|
changeset |
files
|