| Thu, 25 Oct 2018 21:29:08 +0200 |
wenzelm |
clarified ML position: proper markup for def/ref scopes (see also 162a4c2e97bc);
|
changeset |
files
|
| Thu, 25 Oct 2018 17:08:04 +0200 |
wenzelm |
updated to jdk-11+28 from https://adoptopenjdk.net -- with proper font rendering on Linux;
|
changeset |
files
|
| Thu, 25 Oct 2018 15:41:40 +0200 |
wenzelm |
proper completion for @{named_theorems};
|
changeset |
files
|
| Thu, 25 Oct 2018 12:42:17 +0000 |
haftmann |
executable comparators apt for sorting
|
changeset |
files
|
| Thu, 25 Oct 2018 14:04:37 +0200 |
haftmann |
tuned grammar
|
changeset |
files
|
| Thu, 25 Oct 2018 09:48:02 +0000 |
haftmann |
more and generalized lemmas
|
changeset |
files
|
| Tue, 23 Oct 2018 10:50:48 +0200 |
Lars Hupel |
Jenkins: delete obsolete profile
|
changeset |
files
|
| Mon, 22 Oct 2018 19:03:47 +0200 |
Manuel Eberl |
Tagged some theories in HOL-Analysis
|
changeset |
files
|
| Mon, 22 Oct 2018 12:22:18 +0200 |
wenzelm |
proper chapter;
|
changeset |
files
|
| Mon, 22 Oct 2018 11:57:52 +0200 |
wenzelm |
tuned messages;
|
changeset |
files
|
| Mon, 22 Oct 2018 11:55:39 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 22 Oct 2018 11:48:28 +0200 |
wenzelm |
tuned messages;
|
changeset |
files
|
| Mon, 22 Oct 2018 11:45:56 +0200 |
wenzelm |
more robust: check archive ident;
|
changeset |
files
|
| Mon, 22 Oct 2018 11:34:38 +0200 |
wenzelm |
misc tuning and clarification;
|
changeset |
files
|
| Sun, 21 Oct 2018 23:02:52 +0100 |
Angeliki KoutsoukouArgyraki |
tagged 8 theories for the Analysis manual.
|
changeset |
files
|