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 |