| Sat, 19 May 2018 15:45:45 +0200 | wenzelm | clarified store directories; | changeset | files |
| Sat, 19 May 2018 14:52:01 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 19 May 2018 14:47:54 +0200 | wenzelm | clarified handling of output heap; | changeset | files |
| Sat, 19 May 2018 14:12:44 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 19 May 2018 11:57:41 +0200 | nipkow | added lemmas | changeset | files |
| Fri, 18 May 2018 21:50:46 +0200 | wenzelm | more abstract database access; | changeset | files |
| Fri, 18 May 2018 21:08:24 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 18 May 2018 21:05:10 +0200 | wenzelm | clarified heap vs. database operations: discontinued correlation of directory; | changeset | files |
| Fri, 18 May 2018 21:00:15 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 18 May 2018 17:21:12 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 18 May 2018 17:09:55 +0200 | wenzelm | support Store with options; | changeset | files |
| Fri, 18 May 2018 16:30:20 +0200 | wenzelm | more exports; | changeset | files |
| Thu, 17 May 2018 19:16:41 +0200 | blanchet | updated some Sledgehammer components, following Makarius advice | changeset | files |
| Thu, 17 May 2018 17:29:17 +0200 | wenzelm | export more theory and session structure; | changeset | files |
| Thu, 17 May 2018 16:42:13 +0200 | wenzelm | tuned signature; | changeset | files |