| Fri, 21 May 2021 12:29:29 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Mon, 03 Jun 2019 15:40:08 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Fri, 04 Jan 2019 21:49:06 +0100 | wenzelm | support for isabelle update -u control_cartouches; | file | diff | annotate |
| Thu, 25 Jan 2018 14:13:55 +0100 | wenzelm | clarified signature: items with \isasep are special; | file | diff | annotate |
| Thu, 18 Jan 2018 21:41:30 +0100 | wenzelm | clarified access to antiquotation options; | file | diff | annotate |
| Tue, 09 Jan 2018 15:40:12 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Mon, 01 Jan 2018 20:42:08 +0000 | haftmann | proper namespace for evaluators | file | diff | annotate |
| Wed, 06 Dec 2017 20:43:09 +0100 | wenzelm | prefer control symbol antiquotations; | file | diff | annotate |
| Sun, 06 Aug 2017 15:02:54 +0200 | haftmann | do not fall back on nbe if plain evaluation fails | file | diff | annotate |
| Mon, 05 Sep 2016 23:11:00 +0200 | wenzelm | clarified modules; | file | diff | annotate | base |