| Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Thu, 03 Jan 2019 16:42:15 +0100 | wenzelm | mixfix annotations may use cartouches; | file | diff | annotate |
| Mon, 24 Sep 2018 16:09:27 +0200 | nipkow | more conversion from ( * ) to (*) | file | diff | annotate |
| Tue, 26 Jun 2018 11:10:47 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 22 Jun 2018 20:31:49 +0200 | wenzelm | clarified document antiquotation @{theory}; | file | diff | annotate |
| Fri, 25 May 2018 21:00:47 +0200 | wenzelm | more accurate diagram; | file | diff | annotate |
| Tue, 22 May 2018 11:08:37 +0200 | nipkow | First step to remove nonstandard "[x <- xs. P]" syntax: only input | file | diff | annotate |