Mon, 04 Apr 2016 17:02:34 +0200 |
wenzelm |
clarified bootstrap -- more uniform use of ML files;
|
file |
diff |
annotate
|
Fri, 25 Sep 2015 19:13:47 +0200 |
wenzelm |
tuned signature: eliminated pointless type Context.pretty;
|
file |
diff |
annotate
|
Thu, 16 Apr 2015 15:22:44 +0200 |
wenzelm |
discontinued pointless warnings: commands are only defined inside a theory context;
|
file |
diff |
annotate
|
Thu, 16 Apr 2015 13:39:21 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 16 Apr 2015 12:37:30 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 16 Apr 2015 12:03:43 +0200 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
Mon, 06 Apr 2015 17:06:48 +0200 |
wenzelm |
@{command_spec} is superseded by @{command_keyword};
|
file |
diff |
annotate
|
Thu, 22 Jan 2015 12:39:44 +0100 |
haftmann |
backed out obsolete workaround from ef1edfb36af7
|
file |
diff |
annotate
|
Wed, 21 Jan 2015 18:40:03 +0100 |
haftmann |
disjunctive bottom and supremum lists
|
file |
diff |
annotate
|
Wed, 21 Jan 2015 18:40:00 +0100 |
haftmann |
option for formally inlined class specifications in hierarchy graph
|
file |
diff |
annotate
|
Sat, 17 Jan 2015 16:40:10 +0100 |
wenzelm |
clarified Class.pretty_specification: imitate input source;
|
file |
diff |
annotate
|
Tue, 06 Jan 2015 11:58:57 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 05 Jan 2015 18:39:32 +0100 |
haftmann |
formal pretty bodies for class specifications, accepting additional formal bookkeeping in locale.ML
|
file |
diff |
annotate
|
Wed, 31 Dec 2014 20:42:45 +0100 |
wenzelm |
clarified Graph_Display.graph etc.: sort_graph determines order from structure (and names);
|
file |
diff |
annotate
|
Wed, 31 Dec 2014 14:15:52 +0100 |
wenzelm |
for graph display, prefer graph data structure over list with dependencies;
|
file |
diff |
annotate
|
Wed, 31 Dec 2014 14:13:11 +0100 |
wenzelm |
more explict and generic field names
|
file |
diff |
annotate
|
Wed, 31 Dec 2014 14:08:50 +0100 |
wenzelm |
uniform variable name for presentation graphs, to distinguish from values of type Graph.T
|
file |
diff |
annotate
|
Wed, 26 Nov 2014 20:05:34 +0100 |
wenzelm |
renamed "pairself" to "apply2", in accordance to @{apply 2};
|
file |
diff |
annotate
|
Mon, 03 Nov 2014 14:50:27 +0100 |
wenzelm |
eliminated unused int_only flag (see also c12484a27367);
|
file |
diff |
annotate
|
Sun, 07 Sep 2014 17:51:32 +0200 |
haftmann |
restrictive options for class dependencies
|
file |
diff |
annotate
|
Sun, 07 Sep 2014 17:51:28 +0200 |
haftmann |
separated class_deps command into separate file
|
file |
diff |
annotate
|