Sat, 08 May 2010 19:14:13 +0200 |
wenzelm |
unified/simplified Pretty.margin_default;
|
file |
diff |
annotate
|
Fri, 19 Feb 2010 11:06:22 +0100 |
haftmann |
context theorem is optional
|
file |
diff |
annotate
|
Fri, 22 Jan 2010 13:38:28 +0100 |
haftmann |
code literals: distinguish numeral classes by different entries
|
file |
diff |
annotate
|
Mon, 04 Jan 2010 14:09:57 +0100 |
haftmann |
added applify combinator
|
file |
diff |
annotate
|
Wed, 23 Dec 2009 11:32:08 +0100 |
haftmann |
take care for destructive print mode properly using dedicated pretty builders
|
file |
diff |
annotate
|
Wed, 23 Dec 2009 10:09:06 +0100 |
haftmann |
made sml/nj happy
|
file |
diff |
annotate
|
Mon, 21 Dec 2009 08:32:04 +0100 |
haftmann |
clarified various user-defined syntax issues
|
file |
diff |
annotate
|
Fri, 11 Dec 2009 20:32:49 +0100 |
haftmann |
default_code_width is now proper theory data
|
file |
diff |
annotate
|
Fri, 04 Dec 2009 18:51:15 +0100 |
haftmann |
merged, resolving minor conflicts
|
file |
diff |
annotate
|
Fri, 04 Dec 2009 18:19:31 +0100 |
haftmann |
more speaking function names for Code_Printer; added doublesemicolon
|
file |
diff |
annotate
|
Wed, 25 Nov 2009 09:13:46 +0100 |
haftmann |
normalized uncurry take/drop
|
file |
diff |
annotate
|
Tue, 24 Nov 2009 17:28:25 +0100 |
haftmann |
curried take/drop
|
file |
diff |
annotate
|
Wed, 14 Oct 2009 11:56:44 +0200 |
haftmann |
dropped Code_Printer prefix where feasible; fixed whitespace issues; more coherent terminology
|
file |
diff |
annotate
|
Mon, 12 Oct 2009 15:46:38 +0200 |
haftmann |
intro_base_names combinator
|
file |
diff |
annotate
|
Mon, 12 Oct 2009 12:19:19 +0200 |
haftmann |
factored out Code_Printer.aux_params
|
file |
diff |
annotate
|
Tue, 21 Jul 2009 01:03:18 +0200 |
wenzelm |
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 |
haftmann |
all variable names are optional
|
file |
diff |
annotate
|
Tue, 30 Jun 2009 14:54:00 +0200 |
haftmann |
simplified binding concept
|
file |
diff |
annotate
|
Tue, 23 Jun 2009 12:09:30 +0200 |
haftmann |
uniformly capitialized names for subdirectories
|
file |
diff |
annotate
| base
|