| Sun, 22 Mar 2020 15:10:38 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 21 Mar 2020 22:12:21 +0100 | wenzelm | merged; | changeset | files |
| Sat, 21 Mar 2020 21:41:13 +0100 | wenzelm | more NEWS; | changeset | files |
| Sat, 21 Mar 2020 21:12:07 +0100 | wenzelm | delete Isabelle distribution archive after use; | changeset | files |
| Sat, 21 Mar 2020 20:57:34 +0100 | wenzelm | documentation for "isabelle build_docker"; | changeset | files |
| Sat, 21 Mar 2020 16:23:20 +0100 | wenzelm | updated for release; | changeset | files |
| Sat, 21 Mar 2020 15:51:05 +0100 | wenzelm | tuned bib; | changeset | files |
| Sat, 21 Mar 2020 15:47:45 +0100 | wenzelm | more documentation on view.antiAlias, not just NEWS; | changeset | files |