src/Tools/Code/code_printer.ML
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