| Sun, 20 May 2018 20:37:11 +0200 | wenzelm | standardize implicit variables: non-zero indexes do occur occasionally, e.g. via RS; | 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 |
| Sun, 20 May 2018 15:28:59 +0200 | wenzelm | more scalable; | 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:01:13 +0200 | wenzelm | misc tuning and clarification; | file | diff | annotate |
| Wed, 16 May 2018 23:13:33 +0200 | wenzelm | proper PIDE positions; | file | diff | annotate |
| Mon, 14 May 2018 11:29:22 +0200 | wenzelm | more general presentation hook, with document preparation as application; | 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 16:51:50 +0200 | wenzelm | clarified markup; | file | diff | annotate |
| Sun, 13 May 2018 15:55:30 +0200 | wenzelm | more exports; | file | diff | annotate |
| Fri, 11 May 2018 22:59:00 +0200 | wenzelm | some export of foundational theory content; | file | diff | annotate |