| Sun, 14 Apr 2019 12:00:17 +0100 | paulson | merged | changeset | files |
| Sun, 14 Apr 2019 11:59:54 +0100 | paulson | markup fixes | changeset | files |
| Sat, 13 Apr 2019 19:27:37 +0100 | paulson | merged | changeset | files |
| Sat, 13 Apr 2019 19:23:47 +0100 | paulson | Towards a proof of algebraic closure (NB not finished) | changeset | files |
| Sat, 13 Apr 2019 22:06:40 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 13 Apr 2019 21:51:24 +0200 | wenzelm | prefer ctyp operations; | changeset | files |
| Sat, 13 Apr 2019 21:43:41 +0200 | wenzelm | meson: more cterm operations; | changeset | files |