| Fri, 28 Sep 2018 21:16:24 +0200 | wenzelm | more approximative prefix syntax, including binder; | file | diff | annotate |
| Fri, 28 Sep 2018 19:30:07 +0200 | wenzelm | proper syntax for locale vs. class parameters; | file | diff | annotate |
| Tue, 25 Sep 2018 20:41:27 +0200 | wenzelm | export locale dependencies, with approx. morphism as type/term substitution; | file | diff | annotate |
| Thu, 20 Sep 2018 22:39:39 +0200 | wenzelm | clarified standardization of variables, with proper treatment of local variables; | file | diff | annotate |
| Wed, 19 Sep 2018 22:18:36 +0200 | wenzelm | export semi-unfolded locale axioms; | file | diff | annotate |
| Sun, 16 Sep 2018 22:45:34 +0200 | wenzelm | export plain infix syntax; | file | diff | annotate |
| Sat, 15 Sep 2018 23:35:46 +0200 | wenzelm | more exports; | file | diff | annotate |
| Fri, 31 Aug 2018 16:17:30 +0200 | wenzelm | clarified signature: proper typargs; | file | diff | annotate |
| Fri, 31 Aug 2018 15:48:37 +0200 | wenzelm | export locale content; | file | diff | annotate |
| Tue, 28 Aug 2018 15:25:28 +0200 | wenzelm | more robust: Pure entities may lack id; | file | diff | annotate |
| Tue, 28 Aug 2018 12:07:30 +0200 | wenzelm | retain original id, which is command_id/exec_id for PIDE; | file | diff | annotate |
| Sun, 05 Aug 2018 20:32:18 +0200 | wenzelm | more uniform facts: single vs. multi; | file | diff | annotate |
| Fri, 03 Aug 2018 21:38:54 +0200 | wenzelm | tuned output; | file | diff | annotate |
| Fri, 03 Aug 2018 20:14:13 +0200 | wenzelm | tuned signature -- removed somewhat pointless operation; | file | diff | annotate |
| Fri, 03 Aug 2018 15:29:18 +0200 | wenzelm | more operations; | file | diff | annotate |
| Fri, 03 Aug 2018 15:04:24 +0200 | wenzelm | more explicit entity kind; | file | diff | annotate |
| Thu, 02 Aug 2018 22:24:16 +0200 | wenzelm | tuned signature: more operations; | file | diff | annotate |
| Thu, 02 Aug 2018 21:49:31 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 02 Aug 2018 14:21:48 +0200 | wenzelm | always export Pure theory; | file | diff | annotate |
| 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 |