| Sun, 14 Jan 2018 20:58:41 +0100 | wenzelm | trim blanks -- more thoroughly than in update_cartouches (for single-line comments); | changeset | files |
| Sun, 14 Jan 2018 20:39:27 +0100 | wenzelm | more operations (as in ML); | changeset | files |
| Sun, 14 Jan 2018 20:10:11 +0100 | wenzelm | more specific tool "isabelle update_comments", for uniformity with formal comments in embedded languages; | changeset | files |