| Fri, 11 Mar 2022 13:17:14 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 11 Mar 2022 13:07:06 +0100 | wenzelm | clarified signature: more uniform ts vs. Scala; | changeset | files |
| Fri, 11 Mar 2022 12:56:37 +0100 | wenzelm | discontinued isabelle_filesystem (superseded by isabelle_encoding), see also da1108a6d249; | changeset | files |
| Thu, 10 Mar 2022 20:16:19 +0100 | wenzelm | actually decode/encode symbols; | changeset | files |