| Thu, 07 Aug 2008 23:56:45 +0200 |
wenzelm |
inner_syntax markup is back;
|
changeset |
files
|
| Thu, 07 Aug 2008 23:32:49 +0200 |
wenzelm |
disabled inner_syntax markup for now;
|
changeset |
files
|
| Thu, 07 Aug 2008 22:32:03 +0200 |
wenzelm |
added read_token -- with optional YXML encoding of position;
|
changeset |
files
|
| Thu, 07 Aug 2008 22:32:01 +0200 |
wenzelm |
parse_token: use Syntax.read_token, pass full position information;
|
changeset |
files
|
| Thu, 07 Aug 2008 21:13:01 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 07 Aug 2008 21:07:57 +0200 |
wenzelm |
map_default: more explicit scope;
|
changeset |
files
|
| Thu, 07 Aug 2008 21:07:55 +0200 |
wenzelm |
datatype lexicon: alternative representation using nested Symtab.table;
|
changeset |
files
|
| Thu, 07 Aug 2008 19:21:43 +0200 |
wenzelm |
simplified Antiquote signature;
|
changeset |
files
|
| Thu, 07 Aug 2008 19:21:42 +0200 |
wenzelm |
more precise positions due to SymbolsPos.implode_delim;
|
changeset |
files
|
| Thu, 07 Aug 2008 19:21:41 +0200 |
wenzelm |
simplified Antiq: regular SymbolPos.text with position;
|
changeset |
files
|
| Thu, 07 Aug 2008 19:21:40 +0200 |
wenzelm |
renamed SymbolPos.scan_position to SymbolPos.scan_pos;
|
changeset |
files
|
| Thu, 07 Aug 2008 19:21:39 +0200 |
wenzelm |
only increment column if valid;
|
changeset |
files
|
| Thu, 07 Aug 2008 19:21:38 +0200 |
wenzelm |
install_pp Position.T;
|
changeset |
files
|
| Thu, 07 Aug 2008 19:21:37 +0200 |
wenzelm |
Position.start;
|
changeset |
files
|