2016-10-31 blanchet 2016-10-31 moved contribution to right release
2016-10-31 wenzelm 2016-10-31 more explicit pull;
2016-10-30 kuncar 2016-10-30 types to sets: initial commit
2016-10-29 blanchet 2016-10-29 avoid code generator warnings when deleting equations in BNF commands (e.g., datatype) in locales with assumptions and similar
2016-10-29 blanchet 2016-10-29 adapted Nunchaku integration to keyword renaming
2016-10-28 wenzelm 2016-10-28 tuned;
2016-10-28 wenzelm 2016-10-28 merged
2016-10-28 wenzelm 2016-10-28 Added tag Isabelle2016-1-RC1 for changeset 9ee2480d10b7
2016-10-28 kuncar 2016-10-28 a more general relator domain rule for the function type
2016-10-28 wenzelm 2016-10-28 Haskabelle is presently unmaintained;
2016-10-28 wenzelm 2016-10-28 tuned;
2016-10-27 wenzelm 2016-10-27 merged
2016-10-27 wenzelm 2016-10-27 more careful PIDE reports: avoid duplicates, notably in situation of backtracking loops;
2016-10-27 wenzelm 2016-10-27 avoid multiple PIDE markup due to (potentially infinite) backtracking;
2016-10-27 wenzelm 2016-10-27 more permissive remote_build_history: failure happens routinely and should not lead error, without saving logs;
2016-10-27 fleury 2016-10-27 more lemmas
2016-10-27 blanchet 2016-10-27 updated CVC4 component
2016-10-27 blanchet 2016-10-27 tuning
2016-10-27 blanchet 2016-10-27 more uniform treatment of codatatype vs. datatype map and rel theorem generation (towards nonuniform codatatypes)
2016-10-27 nipkow 2016-10-27 added lemma
2016-10-26 blanchet 2016-10-26 tuning
2016-10-26 blanchet 2016-10-26 preprocess typedefs and quotients correctly
2016-10-26 blanchet 2016-10-26 adapted Nunchaku's input syntax to new design decisions
2016-10-26 wenzelm 2016-10-26 more informative error (see 6e9c22c494c5);
2016-10-26 wenzelm 2016-10-26 tuned signature -- more friendly for experimentation;
2016-10-26 wenzelm 2016-10-26 clarified hg push return code: 1 means "nothing to push";
2016-10-26 blanchet 2016-10-26 proper Nunchaku setup to use CVC4 and Kodkod
2016-10-26 wenzelm 2016-10-26 more specific hardware information: relevant for ultimate Mac OS X version;
2016-10-26 wenzelm 2016-10-26 just one task to identify Isabelle + AFP repository snapshots and build release; report AFP changeset id on website;
2016-10-26 wenzelm 2016-10-26 tuned;
2016-10-26 paulson 2016-10-26 Deleted spurious markup
2016-10-26 wenzelm 2016-10-26 latest Mac OS X versions *are* still supported, but presently without formal reference systems;
2016-10-25 wenzelm 2016-10-25 pagecolor no longer exists; uniform use of pdfpagelabels (see 790f73fa8b36);
2016-10-25 wenzelm 2016-10-25 merged
2016-10-25 wenzelm 2016-10-25 use other remote_mac: macbroy30 is down;
2016-10-25 wenzelm 2016-10-25 more robust printing of names in the context of outer syntax;
2016-10-25 wenzelm 2016-10-25 more informative error (stderr);
2016-10-25 paulson 2016-10-25 more new material
2016-10-25 paulson 2016-10-25 Merge
2016-10-25 paulson 2016-10-25 more new material
2016-10-25 wenzelm 2016-10-25 tuned and updated for release;
2016-10-25 wenzelm 2016-10-25 updated for release;
2016-10-25 wenzelm 2016-10-25 tuned;
2016-10-25 wenzelm 2016-10-25 misc tuning for release;
2016-10-24 blanchet 2016-10-24 added Nunchaku integration
2016-10-24 wenzelm 2016-10-24 merged
2016-10-24 wenzelm 2016-10-24 version provided by web server;
2016-10-24 wenzelm 2016-10-24 proper default Windows ACLs, e.g. relevant when the bundle is placed into the root directory of a volume;
2016-10-24 wenzelm 2016-10-24 unused;
2016-10-24 blanchet 2016-10-24 tuned documentation
2016-10-24 blanchet 2016-10-24 document limitations
2016-10-24 blanchet 2016-10-24 more accurate error message
2016-10-24 blanchet 2016-10-24 robustness
2016-10-24 Andreas Lochbihler 2016-10-24 document transfer_prover_eq and friend_of_corec_simps
2016-10-24 traytel 2016-10-24 additional user-specified simp (naturality) rules used in friend_of_corec
2016-10-24 traytel 2016-10-24 apply transfer_prover after folding relator_eq
2016-10-24 wenzelm 2016-10-24 merged
2016-10-24 wenzelm 2016-10-24 more thorough cleanup of lib/classes -- it may contain broken Pure.jar or copies of Scala libraries (in historic versions);
2016-10-24 wenzelm 2016-10-24 remove old target: it is on the classpath and may break scalac;
2016-10-24 wenzelm 2016-10-24 updated to cygwin-20161024: cygwin.exe from current http://isabelle.in.tum.de/cygwin_2016-1