src/Tools/Code/code_printer.ML
2010-09-02 haftmann 2010-09-02 formal markup of generated code for statements
2010-09-02 haftmann 2010-09-02 removed namespace stuff from code_printer
2010-09-02 haftmann 2010-09-02 formal framework for presentation of selected statements
2010-08-31 haftmann 2010-08-31 more coherent naming of syntax data structures
2010-08-31 haftmann 2010-08-31 Code_Printer.tuplify
2010-08-30 haftmann 2010-08-30 trailing newline by default
2010-08-26 haftmann 2010-08-26 private version of commas, cf. printmode
2010-07-24 haftmann 2010-07-24 another refinement chapter in the neverending numeral story
2010-07-21 wenzelm 2010-07-21 made SML/NJ happy;
2010-07-19 haftmann 2010-07-19 distinguish different classes of const syntax
2010-07-16 haftmann 2010-07-16 consolidate const_syntax naming
2010-07-08 haftmann 2010-07-08 tuned titles
2010-06-30 haftmann 2010-06-30 explicit printing function for applify
2010-06-17 haftmann 2010-06-17 more precise code
2010-06-01 haftmann 2010-06-01 brackify_infix etc.: no break before infix operator -- eases survival in Scala
2010-05-27 wenzelm 2010-05-27 renamed structure PrintMode to Print_Mode, keeping the old name as legacy alias for some time;
2010-05-17 wenzelm 2010-05-17 prefer structure Keyword, Parse, Parse_Spec, Outer_Syntax; eliminated old-style structure aliases K = Keyword, P = Parse;
2010-05-17 wenzelm 2010-05-17 renamed structure OuterLex to Token and type token to Token.T, keeping legacy aliases for some time; eliminated slightly odd alias structure T;
2010-05-08 wenzelm 2010-05-08 unified/simplified Pretty.margin_default; discontinued special Pretty.setmargin etc; explicit margin argument for Pretty.string_of_margin etc.;
2010-02-19 haftmann 2010-02-19 context theorem is optional
2010-01-22 haftmann 2010-01-22 code literals: distinguish numeral classes by different entries
2010-01-04 haftmann 2010-01-04 added applify combinator
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