| #
a39caa52 |
|
11-Jun-2018 |
wenzelm <none@none> |
more abstract Export.Provider;
|
| #
35bd8792 |
|
01-Jun-2018 |
wenzelm <none@none> |
tuned signature;
|
| #
896ec975 |
|
26-May-2018 |
wenzelm <none@none> |
export sort algebra;
|
| #
f4896a31 |
|
24-May-2018 |
wenzelm <none@none> |
more scalable JVM memory management;
|
| #
23d5f596 |
|
24-May-2018 |
wenzelm <none@none> |
more exports;
read_session: proper signature;
|
| #
058c5e30 |
|
20-May-2018 |
wenzelm <none@none> |
export facts;
|
| #
9543f1ac |
|
20-May-2018 |
wenzelm <none@none> |
clarified encoding;
|
| #
6cd9a49a |
|
19-May-2018 |
wenzelm <none@none> |
tuned queries;
|
| #
588c875b |
|
18-May-2018 |
wenzelm <none@none> |
tuned signature;
|
| #
f9859169 |
|
18-May-2018 |
wenzelm <none@none> |
support Store with options;
|
| #
1ecb8d5b |
|
18-May-2018 |
wenzelm <none@none> |
more exports;
|
| #
0187b972 |
|
17-May-2018 |
wenzelm <none@none> |
export more theory and session structure;
|
| #
304e09d4 |
|
17-May-2018 |
wenzelm <none@none> |
read theory content from session database;
|
| #
30d54252 |
|
13-May-2018 |
wenzelm <none@none> |
more uniform types vs. consts;
|
| #
cf41e3e1 |
|
13-May-2018 |
wenzelm <none@none> |
more concise information;
|
| #
275c1b11 |
|
13-May-2018 |
wenzelm <none@none> |
export foundational theory content in Scala;
|