22 months ago wenzelm 2017-09-15 avoid local shell variables intruding the resulting environment (via "set -o allexport" in getsettings);
22 months ago wenzelm 2017-09-15 clarified messages: after writing all files (see also 27f90319a499 and 57c85c83c11b);
22 months ago haftmann 2017-09-11 spelling
22 months ago wenzelm 2017-09-11 clarified signature: proper result;
22 months ago wenzelm 2017-09-09 tuned;
22 months ago blanchet 2017-09-22 document incompatibility
22 months ago blanchet 2017-09-22 real oracle
22 months ago paulson 2017-09-19 Using the "constant_on" operator
22 months ago nipkow 2017-09-17 added lemmas
22 months ago nipkow 2017-09-14 two new simp rules
22 months ago nipkow 2017-09-14 added lemma
22 months ago nipkow 2017-09-13 added lemma; zip_with -> map2
22 months ago nipkow 2017-09-12 introduced zip_with
22 months ago nipkow 2017-09-12 added lemma
22 months ago wenzelm 2017-09-11 clarified signature: proper result;
22 months ago paulson 2017-09-11 new theorem about exposed faces
22 months ago wenzelm 2017-09-08 back to post-release mode -- after fork point;
22 months ago wenzelm 2017-09-08 tuned;
22 months ago wenzelm 2017-09-08 Added tag Isabelle2017-RC2 for changeset e9d8ff531700
22 months ago wenzelm 2017-09-08 tuned;
22 months ago wenzelm 2017-09-08 updated for release;
22 months ago wenzelm 2017-09-08 tuned headers;
22 months ago paulson 2017-09-08 Lawrence Paulson's contributions
22 months ago paulson 2017-09-08 merged
22 months ago paulson 2017-09-08 Correction of typos and a bit of streamlining
22 months ago blanchet 2017-09-08 listed contribution
22 months ago paulson 2017-09-08 Simplicial complexes and triangulations; Baire Category Theorem
22 months ago wenzelm 2017-09-08 updated for release;
22 months ago blanchet 2017-09-08 removed obsolete session
22 months ago blanchet 2017-09-08 more robust backend identification
22 months ago blanchet 2017-09-08 correctly locate SMBC from Nunchaku
22 months ago blanchet 2017-09-08 added/updated components
22 months ago blanchet 2017-09-08 tuned whitespace in Nunchaku output
22 months ago blanchet 2017-09-08 eliminate artifact of translation in printed Nunchaku model
22 months ago blanchet 2017-09-08 nicer numeral output for nats and ints in Nunchaku
22 months ago blanchet 2017-09-08 rephrased error
22 months ago blanchet 2017-09-08 tweaked Nunchaku bounds
22 months ago blanchet 2017-09-08 speed up proofs slightly
22 months ago blanchet 2017-09-08 use right attribute separator in Nunchaku
22 months ago blanchet 2017-09-08 parse length-0 enums as well in Nunchaku
22 months ago blanchet 2017-09-08 extended and renamed Nunchaku's Kodkod bounds
22 months ago blanchet 2017-09-08 repaired Nunchaku cache handing
22 months ago blanchet 2017-09-08 added Kodkod-specific options to Nunchaku
22 months ago blanchet 2017-09-08 tuning
22 months ago blanchet 2017-09-08 better model parsing and display in Nunchaku
22 months ago blanchet 2017-09-08 properly parenthesize copy types in Nunchaku
22 months ago blanchet 2017-09-08 proper Bash escaping
22 months ago blanchet 2017-09-08 more precise output for Nunchaku
22 months ago blanchet 2017-09-08 added singular 'solver' option to Nunchaku
22 months ago blanchet 2017-09-08 got rid of unsound and needless beta-reduction in Nunchaku frontend
22 months ago blanchet 2017-09-08 tuned Nunchaku's output
22 months ago blanchet 2017-09-08 updated parser for Nunchaku irrelevant output
22 months ago blanchet 2017-09-08 use proper syntax with nunchaku tool
22 months ago blanchet 2017-09-08 moved Nunchaku to Main; the goal is to move Nitpick out in the next 1-2 years
22 months ago blanchet 2017-09-07 better duplicate detection
22 months ago nipkow 2017-09-07 merged
22 months ago nipkow 2017-09-07 adapted to better linear arith
22 months ago nipkow 2017-09-07 more simp power and less incompleteness or arith
22 months ago wenzelm 2017-09-07 no fork of long-term test results: too complicated;
22 months ago wenzelm 2017-09-07 avoid depedency on FSet;