Sun, 29 Nov 2020 23:23:32 +0100 |
wenzelm |
more Isabelle fonts, notably for PanelWindowContainer buttons with Windows L&F;
|
changeset |
files
|
Sun, 29 Nov 2020 21:58:40 +0100 |
wenzelm |
merged
|
changeset |
files
|
Sun, 29 Nov 2020 21:42:15 +0100 |
wenzelm |
Path.implode_symbolic as in ML;
|
changeset |
files
|
Sun, 29 Nov 2020 21:09:46 +0100 |
wenzelm |
proper source symbols in persistent data;
|
changeset |
files
|
Sun, 29 Nov 2020 17:57:20 +0100 |
wenzelm |
more completion;
|
changeset |
files
|
Sun, 29 Nov 2020 17:54:50 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
Sun, 29 Nov 2020 16:45:29 +0100 |
wenzelm |
restrict report redirection to current node;
|
changeset |
files
|
Sun, 29 Nov 2020 16:21:27 +0100 |
wenzelm |
clarified parser;
|
changeset |
files
|
Sun, 29 Nov 2020 16:11:52 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
Sun, 29 Nov 2020 15:58:43 +0100 |
wenzelm |
proper positions for inlined command messages, e.g. for completion within theory header;
|
changeset |
files
|
Sun, 29 Nov 2020 15:44:53 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
Sun, 29 Nov 2020 15:41:36 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|