Mon, 11 Jun 2018 18:05:43 +0200 |
wenzelm |
more abstract Export.Provider;
|
file |
diff |
annotate
|
Fri, 01 Jun 2018 11:50:20 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 26 May 2018 22:02:25 +0200 |
wenzelm |
export sort algebra;
|
file |
diff |
annotate
|
Thu, 24 May 2018 21:36:39 +0200 |
wenzelm |
more scalable JVM memory management;
|
file |
diff |
annotate
|
Thu, 24 May 2018 16:56:14 +0200 |
wenzelm |
more exports;
|
file |
diff |
annotate
|
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
|