| 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 |
| Thu, 19 Nov 2020 17:46:58 +0100 | wenzelm | updated to polyml-test-7e49fce62e3d --- follow current ongoing development; | changeset | files |
| Thu, 19 Nov 2020 15:11:37 +0100 | desharna | reintroduced and renamed THF_Predicate_Free deleted by c7e2a9bdc585 | changeset | files |
| Thu, 19 Nov 2020 14:46:49 +0100 | desharna | repaired thf output broken by c7e2a9bdc585 | changeset | files |
| Thu, 19 Nov 2020 14:43:50 +0100 | desharna | renamed data type | changeset | files |
| Thu, 19 Nov 2020 10:11:11 +0100 | nipkow | tuned terminology | changeset | files |