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
2016-10-24 wenzelm 2016-10-24 retain Admin component for isabelle tool invocation;
2016-10-24 wenzelm 2016-10-24 tuned;
2016-10-24 wenzelm 2016-10-24 more robust;
2016-10-24 wenzelm 2016-10-24 discontinued unused / untested distinction of separate PIDE modules;
2016-10-24 wenzelm 2016-10-24 proper Admin tool;
2016-10-24 wenzelm 2016-10-24 tuned message;
2016-10-24 wenzelm 2016-10-24 updated for release;
2016-10-24 wenzelm 2016-10-24 updated to jedit_build-20161024: Code2HTML 0.7, Navigator 2.7;
2016-10-24 paulson 2016-10-24 Merge
2016-10-24 paulson 2016-10-24 "subgoal" examples