| Fri, 14 Mar 2014 09:56:06 +0100 | blanchet | made SML/NJ happier | changeset | files |
| Fri, 14 Mar 2014 02:54:00 +0100 | panny | print warning if some constructors are missing; | changeset | files |
| Fri, 14 Mar 2014 01:28:15 +0100 | blanchet | updated Sledgehammer docs w.r.t. 'smt2' and 'z3_new' | changeset | files |
| Fri, 14 Mar 2014 01:28:14 +0100 | blanchet | updated documentation w.r.t. 'z3_non_commercial' option in Isabelle/jEdit | changeset | files |
| Fri, 14 Mar 2014 01:28:13 +0100 | blanchet | updated NEWS and CONTRIBUTORS (BNF, SMT2, Sledgehammer) | changeset | files |
| Thu, 13 Mar 2014 16:07:27 -0700 | huffman | remove ordered_euclidean_space constraint from brouwer/derivative lemmas; | changeset | files |
| Thu, 13 Mar 2014 17:36:56 +0100 | nipkow | typos | changeset | files |
| Thu, 13 Mar 2014 16:39:08 +0100 | traytel | merged | changeset | files |