| Thu, 25 Oct 2018 22:42:17 +0200 |
wenzelm |
updated to jedit_build-20181025 according to patches/macos (Java 11), patches/putenv;
|
changeset |
files
|
| 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
|
| Sun, 21 Oct 2018 20:45:01 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Sun, 21 Oct 2018 20:44:27 +0200 |
wenzelm |
more robust release.read_ident: eliminated odd state files ISABELLE_IDENT, ISABELLE_DIST;
|
changeset |
files
|
| Sun, 21 Oct 2018 19:39:46 +0200 |
wenzelm |
more portable tar_options;
|
changeset |
files
|
| Sun, 21 Oct 2018 19:34:11 +0200 |
wenzelm |
check (non-)executable files -- and eliminate them manually from the repository)
|
changeset |
files
|
| Sun, 21 Oct 2018 18:32:33 +0200 |
wenzelm |
eliminated "isabelle makedist" -- prefer Scala over bash/perl scripting;
|
changeset |
files
|
| Sun, 21 Oct 2018 14:35:46 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sun, 21 Oct 2018 14:25:51 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sun, 21 Oct 2018 16:11:24 +0200 |
wenzelm |
updated PLATFORMS;
|
changeset |
files
|
| Sun, 21 Oct 2018 09:39:09 +0200 |
nipkow |
uniform naming of strong congruence rules
|
changeset |
files
|
| Sun, 21 Oct 2018 08:19:06 +0200 |
nipkow |
added lemma
|
changeset |
files
|
| Sat, 20 Oct 2018 15:36:32 +0200 |
wenzelm |
update MacOSX plugin for Java 11;
|
changeset |
files
|
| Thu, 18 Oct 2018 20:04:23 +0200 |
Lars Hupel |
Jenkins: run ghc_setup
|
changeset |
files
|
| Thu, 18 Oct 2018 12:35:32 +0200 |
wenzelm |
clarified errors;
|
changeset |
files
|
| Thu, 18 Oct 2018 12:30:26 +0200 |
wenzelm |
more robust: explicit version;
|
changeset |
files
|