| Mon, 11 Sep 2017 17:55:42 +0200 | haftmann | spelling | changeset | files |
| Mon, 11 Sep 2017 18:36:13 +0200 | wenzelm | clarified signature: proper result; | changeset | files |
| Sat, 09 Sep 2017 16:51:55 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 22 Sep 2017 14:14:41 -0300 | blanchet | document incompatibility | changeset | files |
| Fri, 22 Sep 2017 13:46:11 -0300 | blanchet | real oracle | changeset | files |
| Tue, 19 Sep 2017 16:37:19 +0100 | paulson | Using the "constant_on" operator | changeset | files |
| Sun, 17 Sep 2017 21:04:02 +0200 | nipkow | added lemmas | changeset | files |
| Thu, 14 Sep 2017 19:21:32 +0200 | nipkow | two new simp rules | changeset | files |
| Thu, 14 Sep 2017 17:36:06 +0200 | nipkow | added lemma | changeset | files |
| Wed, 13 Sep 2017 17:40:54 +0200 | nipkow | added lemma; zip_with -> map2 | changeset | files |
| Tue, 12 Sep 2017 20:40:46 +0200 | nipkow | introduced zip_with | changeset | files |
| Tue, 12 Sep 2017 12:14:38 +0200 | nipkow | added lemma | changeset | files |
| Mon, 11 Sep 2017 18:36:13 +0200 | wenzelm | clarified signature: proper result; | changeset | files |
| Mon, 11 Sep 2017 17:07:38 +0100 | paulson | new theorem about exposed faces | changeset | files |
| Fri, 08 Sep 2017 19:37:46 +0200 | wenzelm | back to post-release mode -- after fork point; | changeset | files |
| Fri, 08 Sep 2017 19:55:18 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 08 Sep 2017 19:35:07 +0200 | wenzelm | Added tag Isabelle2017-RC2 for changeset e9d8ff531700 | changeset | files |
| Fri, 08 Sep 2017 19:31:43 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 08 Sep 2017 19:26:28 +0200 | wenzelm | updated for release; | changeset | files |
| Fri, 08 Sep 2017 19:22:47 +0200 | wenzelm | tuned headers; | changeset | files |
| Fri, 08 Sep 2017 15:48:58 +0100 | paulson | Lawrence Paulson's contributions | changeset | files |
| Fri, 08 Sep 2017 15:27:48 +0100 | paulson | merged | changeset | files |
| Fri, 08 Sep 2017 15:27:22 +0100 | paulson | Correction of typos and a bit of streamlining | changeset | files |
| Fri, 08 Sep 2017 16:20:47 +0200 | blanchet | listed contribution | changeset | files |
| Fri, 08 Sep 2017 12:49:40 +0100 | paulson | Simplicial complexes and triangulations; Baire Category Theorem | changeset | files |
| Fri, 08 Sep 2017 11:09:56 +0200 | wenzelm | updated for release; | changeset | files |
| Fri, 08 Sep 2017 02:22:58 +0200 | blanchet | removed obsolete session | changeset | files |
| Fri, 08 Sep 2017 01:19:40 +0200 | blanchet | more robust backend identification | changeset | files |
| Fri, 08 Sep 2017 01:14:33 +0200 | blanchet | correctly locate SMBC from Nunchaku | changeset | files |
| Fri, 08 Sep 2017 00:58:08 +0200 | blanchet | added/updated components | changeset | files |
| Fri, 08 Sep 2017 00:03:06 +0200 | blanchet | tuned whitespace in Nunchaku output | changeset | files |
| Fri, 08 Sep 2017 00:03:00 +0200 | blanchet | eliminate artifact of translation in printed Nunchaku model | changeset | files |
| Fri, 08 Sep 2017 00:02:56 +0200 | blanchet | nicer numeral output for nats and ints in Nunchaku | changeset | files |
| Fri, 08 Sep 2017 00:02:52 +0200 | blanchet | rephrased error | changeset | files |
| Fri, 08 Sep 2017 00:02:48 +0200 | blanchet | tweaked Nunchaku bounds | changeset | files |
| Fri, 08 Sep 2017 00:02:33 +0200 | blanchet | speed up proofs slightly | changeset | files |
| Fri, 08 Sep 2017 00:02:31 +0200 | blanchet | use right attribute separator in Nunchaku | changeset | files |
| Fri, 08 Sep 2017 00:02:31 +0200 | blanchet | parse length-0 enums as well in Nunchaku | changeset | files |
| Fri, 08 Sep 2017 00:02:30 +0200 | blanchet | extended and renamed Nunchaku's Kodkod bounds | changeset | files |
| Fri, 08 Sep 2017 00:02:25 +0200 | blanchet | repaired Nunchaku cache handing | changeset | files |
| Fri, 08 Sep 2017 00:02:24 +0200 | blanchet | added Kodkod-specific options to Nunchaku | changeset | files |
| Fri, 08 Sep 2017 00:02:22 +0200 | blanchet | tuning | changeset | files |
| Fri, 08 Sep 2017 00:02:21 +0200 | blanchet | better model parsing and display in Nunchaku | changeset | files |
| Fri, 08 Sep 2017 00:02:21 +0200 | blanchet | properly parenthesize copy types in Nunchaku | changeset | files |
| Fri, 08 Sep 2017 00:02:20 +0200 | blanchet | proper Bash escaping | changeset | files |
| Fri, 08 Sep 2017 00:02:16 +0200 | blanchet | more precise output for Nunchaku | changeset | files |
| Fri, 08 Sep 2017 00:02:15 +0200 | blanchet | added singular 'solver' option to Nunchaku | changeset | files |
| Fri, 08 Sep 2017 00:02:14 +0200 | blanchet | got rid of unsound and needless beta-reduction in Nunchaku frontend | changeset | files |
| Fri, 08 Sep 2017 00:02:12 +0200 | blanchet | tuned Nunchaku's output | changeset | files |
| Fri, 08 Sep 2017 00:02:05 +0200 | blanchet | updated parser for Nunchaku irrelevant output | changeset | files |
| Fri, 08 Sep 2017 00:01:52 +0200 | blanchet | use proper syntax with nunchaku tool | changeset | files |
| Fri, 08 Sep 2017 00:01:36 +0200 | blanchet | moved Nunchaku to Main; the goal is to move Nitpick out in the next 1-2 years | changeset | files |
| Thu, 07 Sep 2017 23:13:15 +0200 | blanchet | better duplicate detection | changeset | files |
| Thu, 07 Sep 2017 18:01:41 +0200 | nipkow | merged | changeset | files |
| Thu, 07 Sep 2017 16:41:40 +0200 | nipkow | adapted to better linear arith | changeset | files |
| Thu, 07 Sep 2017 15:12:40 +0200 | nipkow | more simp power and less incompleteness or arith | changeset | files |
| Thu, 07 Sep 2017 13:13:10 +0200 | wenzelm | no fork of long-term test results: too complicated; | changeset | files |
| Thu, 07 Sep 2017 11:36:57 +0200 | wenzelm | avoid depedency on FSet; | changeset | files |
| Tue, 05 Sep 2017 20:03:52 +0200 | nipkow | merged | changeset | files |
| Tue, 05 Sep 2017 17:07:42 +0200 | nipkow | introduced bst_wrt | changeset | files |