| Tue, 27 Jul 2021 20:25:42 +0200 | desharna | fixed TFX generation when universal quantifier is used as term | changeset | files |
| Tue, 27 Jul 2021 15:31:54 +0200 | wenzelm | merged | changeset | files |
| Tue, 27 Jul 2021 15:20:20 +0200 | wenzelm | various improvements of "isabelle scala_project"; | changeset | files |
| Tue, 27 Jul 2021 13:12:27 +0200 | wenzelm | support for native symlinks on Windows; | changeset | files |
| Tue, 27 Jul 2021 13:39:18 +0200 | desharna | tuned Mirabelle's theory selection | changeset | files |
| Mon, 26 Jul 2021 13:12:22 +0200 | wenzelm | clarified signature; | changeset | files |
| Mon, 26 Jul 2021 13:04:55 +0200 | wenzelm | clarified signature; | changeset | files |