| Wed, 23 Dec 2009 11:33:01 +0100 |
haftmann |
merged
|
changeset |
files
|
| Wed, 23 Dec 2009 11:32:40 +0100 |
haftmann |
updated generated document sources
|
changeset |
files
|
| Wed, 23 Dec 2009 11:32:08 +0100 |
haftmann |
take care for destructive print mode properly using dedicated pretty builders
|
changeset |
files
|
| Wed, 23 Dec 2009 10:41:13 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 23 Dec 2009 10:09:06 +0100 |
haftmann |
made sml/nj happy
|
changeset |
files
|
| Wed, 23 Dec 2009 08:31:33 +0100 |
haftmann |
merged
|
changeset |
files
|
| Wed, 23 Dec 2009 08:31:15 +0100 |
haftmann |
dropped junk
|
changeset |
files
|
| Wed, 23 Dec 2009 08:31:15 +0100 |
haftmann |
reduced code generator cache to the baremost minimum
|
changeset |
files
|
| Wed, 23 Dec 2009 08:31:14 +0100 |
haftmann |
updated documentation
|
changeset |
files
|
| Wed, 23 Dec 2009 08:31:14 +0100 |
haftmann |
updated generated examples
|
changeset |
files
|
| Wed, 23 Dec 2009 08:31:14 +0100 |
haftmann |
reduced code generator cache to the baremost minimum; corrected spelling
|
changeset |
files
|
| Tue, 22 Dec 2009 21:48:17 +0100 |
wenzelm |
basic setup for header scanning/parsing;
|
changeset |
files
|
| Tue, 22 Dec 2009 21:47:27 +0100 |
wenzelm |
clarified atom parser: return content;
|
changeset |
files
|
| Tue, 22 Dec 2009 21:46:41 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 22 Dec 2009 19:38:06 +0100 |
wenzelm |
renamed class Outer_Keyword to Outer_Syntax;
|
changeset |
files
|
| Tue, 22 Dec 2009 18:36:01 +0100 |
wenzelm |
Isabelle session manager -- most basic setup;
|
changeset |
files
|
| Tue, 22 Dec 2009 17:59:59 +0100 |
wenzelm |
actually closer file reader;
|
changeset |
files
|
| Tue, 22 Dec 2009 17:25:41 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 22 Dec 2009 17:13:43 +0100 |
wenzelm |
added plain read_file;
|
changeset |
files
|
| Tue, 22 Dec 2009 17:13:18 +0100 |
wenzelm |
consider proper input only;
|
changeset |
files
|
| Tue, 22 Dec 2009 15:31:02 +0100 |
wenzelm |
added completion -- lazy avoids excessive table building;
|
changeset |
files
|
| Tue, 22 Dec 2009 15:00:43 +0100 |
wenzelm |
Generic parsers for Isabelle/Isar outer syntax -- Scala version.
|
changeset |
files
|
| Tue, 22 Dec 2009 15:00:03 +0100 |
wenzelm |
class Outer_Keyword wraps symbol interpretation, lexicon, keyword table;
|
changeset |
files
|
| Tue, 22 Dec 2009 14:58:13 +0100 |
wenzelm |
explicit representation of Token_Kind -- cannot really depend on runtime types due to erasure;
|
changeset |
files
|
| Mon, 21 Dec 2009 16:50:28 +0000 |
paulson |
Changes in generated code, apparently caused by changes to the code generation system itself.
|
changeset |
files
|
| Mon, 21 Dec 2009 16:49:04 +0000 |
paulson |
Polishing up the English
|
changeset |
files
|
| Mon, 21 Dec 2009 10:40:14 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 21 Dec 2009 08:32:22 +0100 |
haftmann |
merged
|
changeset |
files
|
| Mon, 21 Dec 2009 08:32:04 +0100 |
haftmann |
clarified various user-defined syntax issues
|
changeset |
files
|
| Mon, 21 Dec 2009 08:32:04 +0100 |
haftmann |
prefer prefix "iso" over potentially misleading "is"; tuned
|
changeset |
files
|