| Mon, 06 Dec 2021 15:34:54 +0100 | wenzelm | discontinued old-style {* verbatim *} tokens; | file | diff | annotate |
| Mon, 01 Mar 2021 22:22:12 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Sat, 28 Nov 2020 21:56:24 +0100 | wenzelm | added document antiquotation @{tool}; | file | diff | annotate |
| Thu, 13 Sep 2018 21:18:43 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 16 Jan 2018 09:12:16 +0100 | wenzelm | uniform treatment of old-style and new-style comments; | file | diff | annotate |
| Sun, 14 Jan 2018 21:25:43 +0100 | wenzelm | eliminated clones; | file | diff | annotate |
| Sun, 14 Jan 2018 20:58:41 +0100 | wenzelm | trim blanks -- more thoroughly than in update_cartouches (for single-line comments); | file | diff | annotate |
| Sun, 14 Jan 2018 20:10:11 +0100 | wenzelm | more specific tool "isabelle update_comments", for uniformity with formal comments in embedded languages; | file | diff | annotate |