#
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;
|