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 |