Fri, 01 Apr 2022 12:26:45 +0200 | blanchet | merge | changeset | files |
Fri, 01 Apr 2022 11:30:28 +0200 | blanchet | tuned slices to get the fifth Zipperposition slice in a typical run | changeset | files |
Fri, 01 Apr 2022 11:51:42 +0200 | desharna | merged | changeset | files |
Fri, 01 Apr 2022 11:21:03 +0200 | desharna | tuned sledgehammer documentation | changeset | files |
Fri, 01 Apr 2022 11:27:04 +0200 | wenzelm | tuned spelling; | changeset | files |
Fri, 01 Apr 2022 11:21:58 +0200 | wenzelm | merged | changeset | files |
Fri, 01 Apr 2022 11:18:03 +0200 | wenzelm | updated to scala-parser-combinators 2.1.0, which also fits to scala-3.0.2; | changeset | files |