src/Tools/Code/code_printer.ML
2009-12-23 haftmann 2009-12-23 take care for destructive print mode properly using dedicated pretty builders
2009-12-23 haftmann 2009-12-23 made sml/nj happy
2009-12-21 haftmann 2009-12-21 clarified various user-defined syntax issues
2009-12-11 haftmann 2009-12-11 default_code_width is now proper theory data
2009-12-04 haftmann 2009-12-04 merged, resolving minor conflicts
2009-12-04 haftmann 2009-12-04 more speaking function names for Code_Printer; added doublesemicolon
2009-11-25 haftmann 2009-11-25 normalized uncurry take/drop
2009-11-24 haftmann 2009-11-24 curried take/drop
2009-10-14 haftmann 2009-10-14 dropped Code_Printer prefix where feasible; fixed whitespace issues; more coherent terminology
2009-10-12 haftmann 2009-10-12 intro_base_names combinator
2009-10-12 haftmann 2009-10-12 factored out Code_Printer.aux_params
2009-07-21 wenzelm 2009-07-21 proper context for Display.pretty_thm etc. or old-style versions Display.pretty_thm_global, Display.pretty_thm_without_context etc.;
2009-06-30 haftmann 2009-06-30 all variable names are optional
2009-06-30 haftmann 2009-06-30 simplified binding concept
2009-06-23 haftmann 2009-06-23 uniformly capitialized names for subdirectories