| Sat, 25 Nov 2023 17:11:32 +0100 | wenzelm | obsolete, see also a5896fe040dd; | changeset | files |
| Sat, 25 Nov 2023 16:49:48 +0100 | wenzelm | removed obsolete/broken isabelle_scala_script wrapper (see also abf9fcfa65cf); | changeset | files |
| Sat, 25 Nov 2023 16:13:08 +0100 | wenzelm | provide src/Tools/Demo as example for system component with Isabelle/Scala tool; | changeset | files |
| Fri, 24 Nov 2023 22:22:41 +0100 | wenzelm | merged | changeset | files |
| Fri, 24 Nov 2023 21:54:30 +0100 | wenzelm | more uniform buffer_size (see also c83cdd300848 and 26c790a6ce43); | changeset | files |
| Fri, 24 Nov 2023 21:32:32 +0100 | wenzelm | clarified buffer_size; | changeset | files |
| Fri, 24 Nov 2023 20:58:29 +0100 | wenzelm | merged | changeset | files |