src/Pure/General/symbol.ML
2001-11-09 wenzelm 2001-11-09 got rid of obsolete input filtering;
2001-01-31 wenzelm 2001-01-31 added strip_blanks;
2001-01-21 wenzelm 2001-01-21 added spaces; added default_indent, indent;
2001-01-16 wenzelm 2001-01-16 export plain_output;
2000-12-29 wenzelm 2000-12-29 scan: malformed result;
2000-12-23 wenzelm 2000-12-23 tuned length;
2000-09-15 wenzelm 2000-09-15 updated;
2000-05-30 wenzelm 2000-05-30 fixed comment;
2000-05-05 wenzelm 2000-05-05 GPLed;
2000-04-03 wenzelm 2000-04-03 tuned recover;
2000-02-10 wenzelm 2000-02-10 is_symbolic;
1999-06-30 wenzelm 1999-06-30 added sync marker;
1999-05-21 wenzelm 1999-05-21 avoid string constants;
1999-05-12 wenzelm 1999-05-12 rearranged order of modules;
1999-03-09 wenzelm 1999-03-09 tuned using nth_elem_string, exists_string;
1999-02-11 wenzelm 1999-02-11 added output_width; output subject to print_mode;
1999-02-04 wenzelm 1999-02-04 added 'use';
1999-01-29 oheimb 1999-01-29 renamed space2 to spacespace prepared switch for escaped output of symbols (used for ProofGeneral in connection with the x-symbol package)
1999-01-13 wenzelm 1999-01-13 fixed titles;
1999-01-13 wenzelm 1999-01-13 files scan.ML, source.ML, symbol.ML, pretty.ML moved to Pure/General;