| 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 |
| Sun, 14 Jan 2018 19:45:48 +0100 | wenzelm | clarified Token.is_text (cf. Parse.text in ML); | changeset | files |
| Sun, 14 Jan 2018 19:44:49 +0100 | wenzelm | more operations; | changeset | files |
| Sun, 14 Jan 2018 16:48:21 +0100 | wenzelm | support for completion; | changeset | files |
| Sun, 14 Jan 2018 16:21:29 +0100 | wenzelm | allow LaTeX source as formal comment; | changeset | files |
| Sun, 14 Jan 2018 15:31:02 +0100 | wenzelm | clarified signature; | changeset | files |
| Sun, 14 Jan 2018 15:17:51 +0100 | wenzelm | clarified SML (no formal comments) vs. Isabelle/ML (arbitrary comments); | changeset | files |