| 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 |