Thu, 04 Nov 2021 12:32:42 +0100 | wenzelm | tuned messages; | changeset | files |
Thu, 04 Nov 2021 12:25:23 +0100 | wenzelm | clarified signature: more direct XML.symbol_length; | changeset | files |
Thu, 04 Nov 2021 12:19:49 +0100 | wenzelm | more direct Symbol.length: Symbol.decode is redundant, symbol counts are invariant under it; | changeset | files |
Thu, 04 Nov 2021 12:01:28 +0100 | wenzelm | tuned -- eliminate clones stemming from d28a51dd9da6; | changeset | files |
Wed, 03 Nov 2021 22:57:21 +0100 | wenzelm | more to ANNOUNCE; | changeset | files |
Wed, 03 Nov 2021 22:55:22 +0100 | wenzelm | clarified link style: similar to Isabelle/jEdit; | changeset | files |
Wed, 03 Nov 2021 22:03:56 +0100 | wenzelm | tuned; | changeset | files |