Thu, 07 Aug 2008 19:21:40 +0200 renamed SymbolPos.scan_position to SymbolPos.scan_pos;
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;
Thu, 07 Aug 2008 19:21:39 +0200 only increment column if valid;
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;
Thu, 07 Aug 2008 19:21:38 +0200 install_pp Position.T;
wenzelm [Thu, 07 Aug 2008 19:21:38 +0200] rev 27776
install_pp Position.T;
Thu, 07 Aug 2008 19:21:37 +0200 Position.start;
wenzelm [Thu, 07 Aug 2008 19:21:37 +0200] rev 27775
Position.start;
Thu, 07 Aug 2008 13:45:15 +0200 SymbolPos.explode;
wenzelm [Thu, 07 Aug 2008 13:45:15 +0200] rev 27774
SymbolPos.explode;
Thu, 07 Aug 2008 13:45:13 +0200 improved position handling due to SymbolPos.T;
wenzelm [Thu, 07 Aug 2008 13:45:13 +0200] rev 27773
improved position handling due to SymbolPos.T;
Thu, 07 Aug 2008 13:45:11 +0200 improved position handling due to SymbolPos.T;
wenzelm [Thu, 07 Aug 2008 13:45:11 +0200] rev 27772
improved position handling due to SymbolPos.T; SymbolPos.scan_comment; tuned;
Thu, 07 Aug 2008 13:45:09 +0200 Antiquote.read/read_arguments;
wenzelm [Thu, 07 Aug 2008 13:45:09 +0200] rev 27771
Antiquote.read/read_arguments;
Thu, 07 Aug 2008 13:45:07 +0200 updated type of nested sources;
wenzelm [Thu, 07 Aug 2008 13:45:07 +0200] rev 27770
updated type of nested sources;
Thu, 07 Aug 2008 13:45:05 +0200 improved position handling due to SymbolPos.T;
wenzelm [Thu, 07 Aug 2008 13:45:05 +0200] rev 27769
improved position handling due to SymbolPos.T; SymbolPos.scan_comment_body; tuned;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip