| Tue, 16 Apr 2019 20:00:14 +0200 | wenzelm | tuned for release; | changeset | files |
| Tue, 16 Apr 2019 19:42:56 +0200 | wenzelm | clarified goto_file (again): treat bad entry as plain file to open empty buffer instead of error (amending a8142ac5e4b6); | changeset | files |
| Sun, 14 Apr 2019 18:13:46 +0200 | wenzelm | afford more examples; | changeset | files |
| Sun, 14 Apr 2019 17:37:05 +0200 | wenzelm | obsolete -- this is quite fast; | changeset | files |
| Sun, 14 Apr 2019 13:32:26 +0100 | paulson | Group theory developments towards proving algebraic closure (by de Vilhena and Baillon) | changeset | files |
| 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 |