src/Pure/General/ml_syntax.ML
2007-04-16 wenzelm 2007-04-16 added print_indexname; tuned;
2007-02-04 wenzelm 2007-02-04 added print_strings;
2007-01-21 wenzelm 2007-01-21 added atomic, print_int; tuned;
2007-01-20 wenzelm 2007-01-20 tuned;
2007-01-08 wenzelm 2007-01-08 tuned signature;
2007-01-07 webertj 2007-01-07 print functions for typs and terms added
2006-12-10 wenzelm 2006-12-10 renamed str_of_XXX to print_XXX;
2006-12-09 wenzelm 2006-12-09 renamed reserved to reserved_names; added reserved: Name.context;
2006-11-23 wenzelm 2006-11-23 str_of_char: improved output of non-printables;
2006-11-23 wenzelm 2006-11-23 Basic ML syntax operations.