| Thu, 14 Nov 2024 11:12:11 +0100 | wenzelm | clarified mouse selection, avoid conflict of double-click with single-click (follow hyperlink); | changeset | files |
| Thu, 14 Nov 2024 10:50:49 +0100 | wenzelm | more careful isConsumed() / consume() for key and mouse events; | changeset | files |
| Wed, 13 Nov 2024 23:11:06 +0100 | nipkow | merged | changeset | files |
| Wed, 13 Nov 2024 23:10:58 +0100 | nipkow | added field input_eqns to record the list of equations (the specification) | changeset | files |