Thu, 07 Aug 2008 23:56:45 +0200 inner_syntax markup is back;
wenzelm [Thu, 07 Aug 2008 23:56:45 +0200] rev 27788
inner_syntax markup is back;
Thu, 07 Aug 2008 23:32:49 +0200 disabled inner_syntax markup for now;
wenzelm [Thu, 07 Aug 2008 23:32:49 +0200] rev 27787
disabled inner_syntax markup for now;
Thu, 07 Aug 2008 22:32:03 +0200 added read_token -- with optional YXML encoding of position;
wenzelm [Thu, 07 Aug 2008 22:32:03 +0200] rev 27786
added read_token -- with optional YXML encoding of position; tuned parse operations: print position instead of echoing input (now encoded!); do not export obsolete read operation;
Thu, 07 Aug 2008 22:32:01 +0200 parse_token: use Syntax.read_token, pass full position information;
wenzelm [Thu, 07 Aug 2008 22:32:01 +0200] rev 27785
parse_token: use Syntax.read_token, pass full position information;
Thu, 07 Aug 2008 21:13:01 +0200 tuned;
wenzelm [Thu, 07 Aug 2008 21:13:01 +0200] rev 27784
tuned;
Thu, 07 Aug 2008 21:07:57 +0200 map_default: more explicit scope;
wenzelm [Thu, 07 Aug 2008 21:07:57 +0200] rev 27783
map_default: more explicit scope;
Thu, 07 Aug 2008 21:07:55 +0200 datatype lexicon: alternative representation using nested Symtab.table;
wenzelm [Thu, 07 Aug 2008 21:07:55 +0200] rev 27782
datatype lexicon: alternative representation using nested Symtab.table;
Thu, 07 Aug 2008 19:21:43 +0200 simplified Antiquote signature;
wenzelm [Thu, 07 Aug 2008 19:21:43 +0200] rev 27781
simplified Antiquote signature;
Thu, 07 Aug 2008 19:21:42 +0200 more precise positions due to SymbolsPos.implode_delim;
wenzelm [Thu, 07 Aug 2008 19:21:42 +0200] rev 27780
more precise positions due to SymbolsPos.implode_delim; added source' for SymbolPos.T;
Thu, 07 Aug 2008 19:21:41 +0200 simplified Antiq: regular SymbolPos.text with position;
wenzelm [Thu, 07 Aug 2008 19:21:41 +0200] rev 27779
simplified Antiq: regular SymbolPos.text with position; renamed read_arguments to read_antiq; tuned;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip