| 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 |