| Tue, 07 Mar 2023 12:50:27 +0100 | wenzelm | tuned output; | changeset | files |
| Tue, 07 Mar 2023 12:40:10 +0100 | wenzelm | clarified signature: proper abstract type; | changeset | files |
| Tue, 07 Mar 2023 12:21:45 +0100 | wenzelm | clarified signature: support all arguments of Sessions.store(); | changeset | files |
| Tue, 07 Mar 2023 12:15:37 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 07 Mar 2023 12:06:01 +0100 | wenzelm | basic setup for "isabelle build_worker"; | changeset | files |
| Tue, 07 Mar 2023 12:03:42 +0100 | wenzelm | tuned comments; | changeset | files |
| Tue, 07 Mar 2023 11:13:36 +0100 | wenzelm | tuned structure; | changeset | files |
| Tue, 07 Mar 2023 10:57:50 +0100 | wenzelm | clarified terminology of "session build database", while "build database" is the one underlying Build_Process; | changeset | files |