| Tue, 01 Nov 2016 00:55:52 +0100 |
wenzelm |
updated to new cronjob;
|
changeset |
files
|
| Tue, 01 Nov 2016 00:54:03 +0100 |
wenzelm |
build_release on lxbroy10 appears to work, including latex and remote_dmg;
|
changeset |
files
|
| Tue, 01 Nov 2016 00:44:24 +0100 |
wenzelm |
misc tuning and modernization;
|
changeset |
files
|
| Mon, 31 Oct 2016 16:26:36 +0100 |
kuncar |
always expand equalities in the transfer relation in transfer_prover (cf. 0a7c97c76f46)
|
changeset |
files
|
| Mon, 31 Oct 2016 15:48:27 +0100 |
blanchet |
moved contribution to right release
|
changeset |
files
|
| Mon, 31 Oct 2016 14:21:23 +0100 |
wenzelm |
more explicit pull;
|
changeset |
files
|
| Sun, 30 Oct 2016 13:15:14 +0100 |
kuncar |
types to sets: initial commit
|
changeset |
files
|
| Sat, 29 Oct 2016 00:39:33 +0200 |
blanchet |
avoid code generator warnings when deleting equations in BNF commands (e.g., datatype) in locales with assumptions and similar
|
changeset |
files
|
| Sat, 29 Oct 2016 00:39:32 +0200 |
blanchet |
adapted Nunchaku integration to keyword renaming
|
changeset |
files
|
| Fri, 28 Oct 2016 20:41:18 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 28 Oct 2016 20:01:38 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 28 Oct 2016 19:08:35 +0200 |
wenzelm |
Added tag Isabelle2016-1-RC1 for changeset 9ee2480d10b7
|
changeset |
files
|
| Fri, 28 Oct 2016 19:54:41 +0200 |
kuncar |
a more general relator domain rule for the function type
|
changeset |
files
|
| Fri, 28 Oct 2016 16:59:25 +0200 |
wenzelm |
Haskabelle is presently unmaintained;
|
changeset |
files
|
| Fri, 28 Oct 2016 15:47:18 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 27 Oct 2016 21:52:44 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 27 Oct 2016 21:52:12 +0200 |
wenzelm |
more careful PIDE reports: avoid duplicates, notably in situation of backtracking loops;
|
changeset |
files
|
| Thu, 27 Oct 2016 20:41:06 +0200 |
wenzelm |
avoid multiple PIDE markup due to (potentially infinite) backtracking;
|
changeset |
files
|
| Thu, 27 Oct 2016 11:39:58 +0200 |
wenzelm |
more permissive remote_build_history: failure happens routinely and should not lead error, without saving logs;
|
changeset |
files
|
| Thu, 27 Oct 2016 15:51:54 +0200 |
fleury |
more lemmas
|
changeset |
files
|
| Thu, 27 Oct 2016 15:08:50 +0200 |
blanchet |
updated CVC4 component
|
changeset |
files
|
| Thu, 27 Oct 2016 14:14:58 +0200 |
blanchet |
tuning
|
changeset |
files
|
| Thu, 27 Oct 2016 14:14:48 +0200 |
blanchet |
more uniform treatment of codatatype vs. datatype map and rel theorem generation (towards nonuniform codatatypes)
|
changeset |
files
|
| Thu, 27 Oct 2016 12:54:55 +0200 |
nipkow |
added lemma
|
changeset |
files
|
| Wed, 26 Oct 2016 22:40:28 +0200 |
blanchet |
tuning
|
changeset |
files
|
| Wed, 26 Oct 2016 20:59:36 +0200 |
blanchet |
preprocess typedefs and quotients correctly
|
changeset |
files
|
| Wed, 26 Oct 2016 17:32:50 +0200 |
blanchet |
adapted Nunchaku's input syntax to new design decisions
|
changeset |
files
|
| Wed, 26 Oct 2016 16:15:37 +0200 |
wenzelm |
more informative error (see 6e9c22c494c5);
|
changeset |
files
|