| 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
|