wenzelm [Thu, 07 Aug 2008 21:07:57 +0200] rev 27783
map_default: more explicit scope;
wenzelm [Thu, 07 Aug 2008 21:07:55 +0200] rev 27782
datatype lexicon: alternative representation using nested Symtab.table;
wenzelm [Thu, 07 Aug 2008 19:21:43 +0200] rev 27781
simplified Antiquote signature;
wenzelm [Thu, 07 Aug 2008 19:21:42 +0200] rev 27780
more precise positions due to SymbolsPos.implode_delim;
added source' for SymbolPos.T;
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;
wenzelm [Thu, 07 Aug 2008 19:21:40 +0200] rev 27778
renamed SymbolPos.scan_position to SymbolPos.scan_pos;
implode/explode: explicit type text = string;
added implode_delim;
explode: Position.reset_range;
wenzelm [Thu, 07 Aug 2008 19:21:39 +0200] rev 27777
only increment column if valid;
more robust handling of invalid entries;
clarified line/line_file: no column here;
added start = (1, 1);
added reset_range;
tuned;
wenzelm [Thu, 07 Aug 2008 19:21:38 +0200] rev 27776
install_pp Position.T;