| Wed, 23 Dec 2020 17:16:05 +0100 | wenzelm | clarified modules: avoid multiple uses of the same ML file; | changeset | files |
| Wed, 23 Dec 2020 15:20:52 +0100 | wenzelm | clarified syntax modes, avoid obsolete "xsymbols"; | changeset | files |
| Wed, 23 Dec 2020 15:01:50 +0100 | wenzelm | clarified fonts, notably for Windows L&F; | changeset | files |
| Tue, 22 Dec 2020 23:59:45 +0100 | wenzelm | support jdk-15; | changeset | files |
| Tue, 22 Dec 2020 15:49:22 +0100 | wenzelm | more friendly desktop application on macOS; | changeset | files |
| Wed, 23 Dec 2020 16:25:52 +0000 | paulson | default simprule for geometric series | changeset | files |
| Tue, 22 Dec 2020 23:36:32 +0100 | nipkow | tuned | changeset | files |
| Mon, 21 Dec 2020 23:22:14 +0100 | wenzelm | less aggressive auto-build: avoid change of running jar; | changeset | files |