Tue, 01 Jun 2010 13:52:11 +0200 |
brackify_infix etc.: no break before infix operator -- eases survival in Scala
|
file | diff | annotate |
Thu, 27 May 2010 18:10:37 +0200 |
renamed structure PrintMode to Print_Mode, keeping the old name as legacy alias for some time;
|
file | diff | annotate |
Mon, 17 May 2010 23:54:15 +0200 |
prefer structure Keyword, Parse, Parse_Spec, Outer_Syntax;
|
file | diff | annotate |
Mon, 17 May 2010 15:11:25 +0200 |
renamed structure OuterLex to Token and type token to Token.T, keeping legacy aliases for some time;
|
file | diff | annotate |
Sat, 08 May 2010 19:14:13 +0200 |
unified/simplified Pretty.margin_default;
|
file | diff | annotate |
Fri, 19 Feb 2010 11:06:22 +0100 |
context theorem is optional
|
file | diff | annotate |
Fri, 22 Jan 2010 13:38:28 +0100 |
code literals: distinguish numeral classes by different entries
|
file | diff | annotate |
Mon, 04 Jan 2010 14:09:57 +0100 |
added applify combinator
|
file | diff | annotate |
Wed, 23 Dec 2009 11:32:08 +0100 |
take care for destructive print mode properly using dedicated pretty builders
|
file | diff | annotate |
Wed, 23 Dec 2009 10:09:06 +0100 |
made sml/nj happy
|
file | diff | annotate |
Mon, 21 Dec 2009 08:32:04 +0100 |
clarified various user-defined syntax issues
|
file | diff | annotate |
Fri, 11 Dec 2009 20:32:49 +0100 |
default_code_width is now proper theory data
|
file | diff | annotate |
Fri, 04 Dec 2009 18:51:15 +0100 |
merged, resolving minor conflicts
|
file | diff | annotate |
Fri, 04 Dec 2009 18:19:31 +0100 |
more speaking function names for Code_Printer; added doublesemicolon
|
file | diff | annotate |
Wed, 25 Nov 2009 09:13:46 +0100 |
normalized uncurry take/drop
|
file | diff | annotate |
Tue, 24 Nov 2009 17:28:25 +0100 |
curried take/drop
|
file | diff | annotate |
Wed, 14 Oct 2009 11:56:44 +0200 |
dropped Code_Printer prefix where feasible; fixed whitespace issues; more coherent terminology
|
file | diff | annotate |
Mon, 12 Oct 2009 15:46:38 +0200 |
intro_base_names combinator
|
file | diff | annotate |
Mon, 12 Oct 2009 12:19:19 +0200 |
factored out Code_Printer.aux_params
|
file | diff | annotate |
Tue, 21 Jul 2009 01:03:18 +0200 |
proper context for Display.pretty_thm etc. or old-style versions Display.pretty_thm_global, Display.pretty_thm_without_context etc.;
|
file | diff | annotate |
Tue, 30 Jun 2009 17:33:30 +0200 |
all variable names are optional
|
file | diff | annotate |
Tue, 30 Jun 2009 14:54:00 +0200 |
simplified binding concept
|
file | diff | annotate |
Tue, 23 Jun 2009 12:09:30 +0200 |
uniformly capitialized names for subdirectories
|
file | diff | annotate | base |