| Tue, 21 Jun 2022 14:08:02 +0200 | wenzelm | clarified signature: avoid repeated string copying via Substring.slice; | changeset | files |
| Tue, 21 Jun 2022 13:14:09 +0200 | wenzelm | support for scalable byte strings, with incremental construction; | changeset | files |
| Mon, 20 Jun 2022 16:15:07 +0200 | wenzelm | clarified signature; | changeset | files |
| Mon, 20 Jun 2022 10:45:25 +0200 | wenzelm | remove unused file following 51e696887b81; | changeset | files |
| Mon, 20 Jun 2022 11:06:33 +0200 | desharna | added lemma map_mono_strict_suffix | changeset | files |
| Wed, 15 Jun 2022 16:55:10 +0200 | wenzelm | more robust: always override ISABELLE_IDENTIFIER from environment; | changeset | files |
| Wed, 15 Jun 2022 13:37:35 +0200 | wenzelm | "isabelle vscode" is regular user-space tool; | changeset | files |