src/Pure/General/symbol_pos.ML
Sun, 24 Aug 2008 17:23:42 +0200 wenzelm untabify: silently turn tab into space if column information is unavailable;
Thu, 14 Aug 2008 11:55:05 +0200 wenzelm made SML/NJ happy;
Wed, 13 Aug 2008 20:57:24 +0200 wenzelm added untabify_content;
Sat, 09 Aug 2008 00:09:29 +0200 wenzelm added content;
Thu, 07 Aug 2008 19:21:40 +0200 wenzelm renamed SymbolPos.scan_position to SymbolPos.scan_pos;
Thu, 07 Aug 2008 13:44:36 +0200 wenzelm Symbols with explicit position information.
less more (0) tip