| Mon, 23 Nov 2020 13:37:10 +0100 | wenzelm | proper output of document sources (cf. d892f6d66402); | changeset | files |
| Tue, 24 Nov 2020 19:49:59 +0100 | desharna | proper parsing of TSTP HOL lines | changeset | files |
| Mon, 23 Nov 2020 19:57:55 +0100 | nipkow | proper defn of a heap | changeset | files |
| Sun, 22 Nov 2020 18:26:54 +0000 | paulson | merged | changeset | files |
| Sun, 22 Nov 2020 18:26:45 +0000 | paulson | cleanup of old proofs | changeset | files |
| Sun, 22 Nov 2020 13:31:33 +0100 | wenzelm | proper output directory (amending cc1347c8c804); | changeset | files |
| Sun, 22 Nov 2020 13:11:40 +0100 | wenzelm | updated to cvc4-1.8; | changeset | files |
| Sat, 21 Nov 2020 21:02:38 +0100 | wenzelm | clarified signature: prefer Database_Context; | changeset | files |
| Sat, 21 Nov 2020 20:35:48 +0100 | wenzelm | clarified modules; | changeset | files |
| Sat, 21 Nov 2020 19:48:05 +0100 | wenzelm | tuned NEWS; | changeset | files |
| Sat, 21 Nov 2020 18:44:38 +0100 | wenzelm | removed unused material; | changeset | files |
| Sat, 21 Nov 2020 18:16:25 +0100 | wenzelm | more NEWS; | changeset | files |
| Sat, 21 Nov 2020 17:58:00 +0100 | wenzelm | NEWS; | changeset | files |
| Sat, 21 Nov 2020 17:57:54 +0100 | wenzelm | more interrupts; | changeset | files |
| Sat, 21 Nov 2020 17:30:44 +0100 | wenzelm | clarified messages; | changeset | files |
| Sat, 21 Nov 2020 17:12:17 +0100 | wenzelm | clarified document output; | changeset | files |
| Sat, 21 Nov 2020 16:22:35 +0100 | wenzelm | clarified messages; | changeset | files |
| Sat, 21 Nov 2020 16:07:20 +0100 | wenzelm | clarified PDF/HTML presentation, based on pdf blobs from session database (e.g. from earlier builds); | changeset | files |
| Sat, 21 Nov 2020 15:20:12 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 21 Nov 2020 00:29:41 +0100 | wenzelm | more standard imports; | changeset | files |
| Fri, 20 Nov 2020 23:53:37 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 20 Nov 2020 23:47:34 +0100 | wenzelm | generate theory HTML in Isabelle/Scala; | changeset | files |
| Fri, 20 Nov 2020 14:29:21 +0100 | desharna | merged | changeset | files |
| Fri, 13 Nov 2020 09:47:59 +0100 | desharna | Add support for CVC4 1.8 to Sledgehammer | changeset | files |
| Fri, 20 Nov 2020 12:00:08 +0100 | wenzelm | proper meta_digest: avoid non-portable position information; | changeset | files |
| Thu, 19 Nov 2020 22:05:34 +0100 | wenzelm | clarified messages; | changeset | files |
| Thu, 19 Nov 2020 21:59:17 +0100 | wenzelm | proper message; | changeset | files |
| Thu, 19 Nov 2020 21:23:12 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 19 Nov 2020 21:12:35 +0100 | wenzelm | clarified modules; | changeset | files |
| Thu, 19 Nov 2020 17:50:14 +0100 | wenzelm | more robust library_call (again): dynamic file name, static symbol; | changeset | files |