2017-09-17 wenzelm more documentation;
2017-09-16 wenzelm more derived actions, according to jEdit/org/gjt/sp/jedit/gui/DockableWindowFactory.java;
2017-09-16 wenzelm proper tool name (cf. c1410bcf6e87);
2017-09-16 wenzelm proper standard_path to revert platform_path in JEdit_Sessions.session_base;
2017-09-15 wenzelm avoid local shell variables intruding the resulting environment (via "set -o allexport" in getsettings);
2017-09-15 wenzelm clarified messages: after writing all files (see also 27f90319a499 and 57c85c83c11b);
2017-09-11 haftmann spelling
2017-09-11 wenzelm clarified signature: proper result;
2017-09-09 wenzelm tuned;
2017-09-22 blanchet document incompatibility
2017-09-22 blanchet real oracle
2017-09-19 paulson Using the "constant_on" operator
2017-09-17 nipkow added lemmas
2017-09-14 nipkow two new simp rules
2017-09-14 nipkow added lemma
2017-09-13 nipkow added lemma; zip_with -> map2
2017-09-12 nipkow introduced zip_with
2017-09-12 nipkow added lemma
2017-09-11 wenzelm clarified signature: proper result;
2017-09-11 paulson new theorem about exposed faces
2017-09-08 wenzelm back to post-release mode -- after fork point;
2017-09-08 wenzelm tuned;
2017-09-08 wenzelm Added tag Isabelle2017-RC2 for changeset e9d8ff531700
2017-09-08 wenzelm tuned;
2017-09-08 wenzelm updated for release;
2017-09-08 wenzelm tuned headers;
2017-09-08 paulson Lawrence Paulson's contributions
2017-09-08 paulson merged
2017-09-08 paulson Correction of typos and a bit of streamlining
2017-09-08 blanchet listed contribution
2017-09-08 paulson Simplicial complexes and triangulations; Baire Category Theorem
2017-09-08 wenzelm updated for release;
2017-09-08 blanchet removed obsolete session
2017-09-07 blanchet more robust backend identification
2017-09-07 blanchet correctly locate SMBC from Nunchaku
2017-09-07 blanchet added/updated components
2017-09-07 blanchet tuned whitespace in Nunchaku output
2017-09-07 blanchet eliminate artifact of translation in printed Nunchaku model
2017-09-07 blanchet nicer numeral output for nats and ints in Nunchaku
2017-09-07 blanchet rephrased error
2017-09-07 blanchet tweaked Nunchaku bounds
2017-09-07 blanchet speed up proofs slightly
2017-09-07 blanchet use right attribute separator in Nunchaku
2017-09-07 blanchet parse length-0 enums as well in Nunchaku
2017-09-07 blanchet extended and renamed Nunchaku's Kodkod bounds
2017-09-07 blanchet repaired Nunchaku cache handing
2017-09-07 blanchet added Kodkod-specific options to Nunchaku
2017-09-07 blanchet tuning
2017-09-07 blanchet better model parsing and display in Nunchaku
2017-09-07 blanchet properly parenthesize copy types in Nunchaku
2017-09-07 blanchet proper Bash escaping
2017-09-07 blanchet more precise output for Nunchaku
2017-09-07 blanchet added singular 'solver' option to Nunchaku
2017-09-07 blanchet got rid of unsound and needless beta-reduction in Nunchaku frontend
2017-09-07 blanchet tuned Nunchaku's output
2017-09-07 blanchet updated parser for Nunchaku irrelevant output
(0) -30000 -10000 -3000 -1000 -300 -100 -56 +56 +100 +300 +1000 +3000 +10000 tip