| Thu, 29 Jun 2017 13:28:08 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 13 Jun 2017 15:11:01 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Mon, 12 Jun 2017 15:40:40 +0200 | wenzelm | dynamic configuration of prettify-symbols-mode, similar to VSCoq; | file | diff | annotate |
| Wed, 31 May 2017 17:25:26 +0200 | wenzelm | explicit preview request/response; | file | diff | annotate |
| Tue, 30 May 2017 15:29:42 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Tue, 30 May 2017 14:21:42 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Tue, 30 May 2017 11:50:12 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Tue, 30 May 2017 11:42:18 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 30 May 2017 11:40:28 +0200 | wenzelm | clarified modules; | file | diff | annotate |