| Thu, 10 Dec 2020 18:38:26 +0100 |
wenzelm |
NEWS and documentation for "isabelle log";
|
changeset |
files
|
| Thu, 10 Dec 2020 17:41:46 +0100 |
wenzelm |
clarified messages;
|
changeset |
files
|
| Thu, 10 Dec 2020 17:14:49 +0100 |
wenzelm |
clarified types;
|
changeset |
files
|
| Thu, 10 Dec 2020 17:09:06 +0100 |
wenzelm |
clarified Pretty.Metric, as for build errors;
|
changeset |
files
|
| Thu, 10 Dec 2020 17:01:59 +0100 |
wenzelm |
clarified types;
|
changeset |
files
|
| Thu, 10 Dec 2020 17:01:14 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 10 Dec 2020 16:47:06 +0100 |
wenzelm |
clarified: omit presumably pointless Markup.Serial (see also 0b9334adcf05);
|
changeset |
files
|
| Thu, 10 Dec 2020 16:35:56 +0100 |
wenzelm |
clarified signature: more specific types;
|
changeset |
files
|
| Thu, 10 Dec 2020 15:27:41 +0100 |
wenzelm |
tuned messages;
|
changeset |
files
|
| Thu, 10 Dec 2020 15:21:55 +0100 |
wenzelm |
clarified output of Isabelle symbols;
|
changeset |
files
|
| Thu, 10 Dec 2020 15:08:31 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Thu, 10 Dec 2020 14:51:56 +0100 |
wenzelm |
clarified file sources: take from build database instead of file-system;
|
changeset |
files
|
| Thu, 10 Dec 2020 14:31:34 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 10 Dec 2020 14:13:03 +0100 |
wenzelm |
tuned messages;
|
changeset |
files
|
| Wed, 09 Dec 2020 23:30:12 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 09 Dec 2020 22:07:14 +0100 |
wenzelm |
clarified protocol: support "isabelle log" on failed theories as well;
|
changeset |
files
|