| Sun, 20 May 2018 16:25:27 +0200 | wenzelm | export facts; | file | diff | annotate |
| Sun, 20 May 2018 15:37:16 +0200 | wenzelm | clarified encoding; | file | diff | annotate |
| Sat, 19 May 2018 20:19:15 +0200 | wenzelm | tuned queries; | file | diff | annotate |
| Fri, 18 May 2018 17:21:12 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 18 May 2018 17:09:55 +0200 | wenzelm | support Store with options; | file | diff | annotate |
| Fri, 18 May 2018 16:30:20 +0200 | wenzelm | more exports; | file | diff | annotate |
| Thu, 17 May 2018 17:29:17 +0200 | wenzelm | export more theory and session structure; | file | diff | annotate |
| Thu, 17 May 2018 14:50:48 +0200 | wenzelm | read theory content from session database; | file | diff | annotate |
| Sun, 13 May 2018 21:20:28 +0200 | wenzelm | more uniform types vs. consts; | file | diff | annotate |
| Sun, 13 May 2018 20:24:33 +0200 | wenzelm | more concise information; | file | diff | annotate |
| Sun, 13 May 2018 20:04:59 +0200 | wenzelm | export foundational theory content in Scala; | file | diff | annotate |