| Thu, 07 Aug 2008 13:45:07 +0200 |
wenzelm |
updated type of nested sources;
|
changeset |
files
|
| Thu, 07 Aug 2008 13:45:05 +0200 |
wenzelm |
improved position handling due to SymbolPos.T;
|
changeset |
files
|
| Thu, 07 Aug 2008 13:45:03 +0200 |
wenzelm |
adapted Scan.extend_lexicon/merge_lexicons;
|
changeset |
files
|
| Thu, 07 Aug 2008 13:44:56 +0200 |
wenzelm |
renamed scan_antiquotes to read;
|
changeset |
files
|
| Thu, 07 Aug 2008 13:44:52 +0200 |
wenzelm |
export not_eof;
|
changeset |
files
|
| Thu, 07 Aug 2008 13:44:47 +0200 |
wenzelm |
reorganized lexicon: allow scanning of annotated symbols, tuned representation and interfaces;
|
changeset |
files
|
| Thu, 07 Aug 2008 13:44:42 +0200 |
wenzelm |
advance: single argument (again);
|
changeset |
files
|
| Thu, 07 Aug 2008 13:44:36 +0200 |
wenzelm |
Symbols with explicit position information.
|
changeset |
files
|
| Thu, 07 Aug 2008 13:44:33 +0200 |
wenzelm |
added General/symbol_pos.ML;
|
changeset |
files
|
| Wed, 06 Aug 2008 16:41:40 +0200 |
ballarin |
Interpretation command (theory/proof context) no longer simplifies goal.
|
changeset |
files
|
| Wed, 06 Aug 2008 13:57:25 +0200 |
nipkow |
added lemma
|
changeset |
files
|
| Wed, 06 Aug 2008 10:43:42 +0200 |
wenzelm |
made SML/NJ happy;
|
changeset |
files
|