| Sat, 03 Feb 2018 20:46:28 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 03 Feb 2018 20:34:26 +0100 | wenzelm | more uniform treatment of formal comments within document source; | file | diff | annotate |
| Thu, 25 Jan 2018 15:21:05 +0100 | wenzelm | more markup: disable spell-checker for raw latex; | file | diff | annotate |
| Sun, 14 Jan 2018 16:21:29 +0100 | wenzelm | allow LaTeX source as formal comment; | file | diff | annotate |
| Sun, 14 Jan 2018 15:06:27 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 14 Jan 2018 14:11:02 +0100 | wenzelm | clarified modules: uniform notion of formal comments; | file | diff | annotate |