| Fri, 20 Sep 2024 14:28:13 +0200 | wenzelm | clarified signature: more explicit operations; | file | diff | annotate |
| Wed, 11 Sep 2024 12:46:56 +0200 | wenzelm | revert 90f6e541e926, which has become pointless thanks to df85df6315af; | file | diff | annotate |
| Wed, 11 Sep 2024 12:32:11 +0200 | wenzelm | clarified signature and modules; | file | diff | annotate |
| Tue, 10 Sep 2024 20:06:51 +0200 | wenzelm | clarified signature, roughly following Isabelle/Scala; | file | diff | annotate |
| Mon, 09 Sep 2024 23:50:58 +0200 | wenzelm | minor performance tuning, following Isabelle/Scala; | file | diff | annotate |
| Fri, 06 Sep 2024 20:31:20 +0200 | wenzelm | more thorough Protocol_Message.clean_output, following Isabelle/Scala; | file | diff | annotate |