Tue, 22 Nov 2016 18:36:59 +0100 |
nipkow |
added lemma
|
changeset |
files
|
Tue, 22 Nov 2016 16:22:05 +0100 |
nipkow |
added simp rule
|
changeset |
files
|
Tue, 15 Nov 2016 17:39:40 +0100 |
blanchet |
generalized experimental feature slightly
|
changeset |
files
|
Tue, 08 Nov 2016 13:03:54 +0100 |
nipkow |
provided more efficient interface
|
changeset |
files
|
Fri, 04 Nov 2016 13:27:31 +0100 |
wenzelm |
back to stable scala-2.11.8;
|
changeset |
files
|
Thu, 03 Nov 2016 17:51:10 +0100 |
wenzelm |
updated to scala-2.12.0;
|
changeset |
files
|
Thu, 03 Nov 2016 08:10:56 +0100 |
nipkow |
tuned
|
changeset |
files
|
Tue, 01 Nov 2016 16:04:35 +0100 |
traytel |
tuned signature
|
changeset |
files
|
Tue, 01 Nov 2016 01:20:33 +0100 |
wenzelm |
back to post-release mode -- after fork point;
|
changeset |
files
|
Tue, 01 Nov 2016 01:04:53 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
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
|
Wed, 26 Oct 2016 16:05:41 +0200 |
wenzelm |
tuned signature -- more friendly for experimentation;
|
changeset |
files
|
Wed, 26 Oct 2016 16:04:05 +0200 |
wenzelm |
clarified hg push return code: 1 means "nothing to push";
|
changeset |
files
|
Wed, 26 Oct 2016 15:21:16 +0200 |
blanchet |
proper Nunchaku setup to use CVC4 and Kodkod
|
changeset |
files
|
Wed, 26 Oct 2016 15:14:17 +0200 |
wenzelm |
more specific hardware information: relevant for ultimate Mac OS X version;
|
changeset |
files
|
Wed, 26 Oct 2016 14:52:41 +0200 |
wenzelm |
just one task to identify Isabelle + AFP repository snapshots and build release;
|
changeset |
files
|
Wed, 26 Oct 2016 14:50:28 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Wed, 26 Oct 2016 12:22:58 +0100 |
paulson |
Deleted spurious markup
|
changeset |
files
|
Wed, 26 Oct 2016 11:35:41 +0200 |
wenzelm |
latest Mac OS X versions *are* still supported, but presently without formal reference systems;
|
changeset |
files
|
Tue, 25 Oct 2016 20:48:03 +0200 |
wenzelm |
pagecolor no longer exists;
|
changeset |
files
|
Tue, 25 Oct 2016 19:44:56 +0200 |
wenzelm |
merged
|
changeset |
files
|
Tue, 25 Oct 2016 19:44:20 +0200 |
wenzelm |
use other remote_mac: macbroy30 is down;
|
changeset |
files
|
Tue, 25 Oct 2016 17:22:05 +0200 |
wenzelm |
more robust printing of names in the context of outer syntax;
|
changeset |
files
|
Tue, 25 Oct 2016 14:06:43 +0200 |
wenzelm |
more informative error (stderr);
|
changeset |
files
|
Tue, 25 Oct 2016 16:30:13 +0100 |
paulson |
more new material
|
changeset |
files
|
Tue, 25 Oct 2016 15:48:31 +0100 |
paulson |
Merge
|
changeset |
files
|
Tue, 25 Oct 2016 15:46:07 +0100 |
paulson |
more new material
|
changeset |
files
|
Tue, 25 Oct 2016 12:36:09 +0200 |
wenzelm |
tuned and updated for release;
|
changeset |
files
|
Tue, 25 Oct 2016 12:23:54 +0200 |
wenzelm |
updated for release;
|
changeset |
files
|
Tue, 25 Oct 2016 12:14:17 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Tue, 25 Oct 2016 11:55:38 +0200 |
wenzelm |
misc tuning for release;
|
changeset |
files
|
Mon, 24 Oct 2016 22:42:07 +0200 |
blanchet |
added Nunchaku integration
|
changeset |
files
|
Mon, 24 Oct 2016 21:14:38 +0200 |
wenzelm |
merged
|
changeset |
files
|