| Sat, 25 Nov 2023 20:47:33 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 25 Nov 2023 20:41:18 +0100 | wenzelm | clarified modules; | changeset | files |
| Sat, 25 Nov 2023 20:18:44 +0100 | wenzelm | clarified modules; | changeset | files |
| Sat, 25 Nov 2023 20:09:20 +0100 | wenzelm | clarified modules: Build_Log.private_data provides raw data access without transaction_lock; | changeset | files |
| Sat, 25 Nov 2023 17:33:29 +0100 | wenzelm | more thorough transaction_lock; | changeset | files |
| 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 |