| 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 |
| Wed, 13 Nov 2024 20:14:24 +0100 | wenzelm | merged | changeset | files |
| Wed, 13 Nov 2024 20:14:17 +0100 | wenzelm | more NEWS; | changeset | files |
| Wed, 13 Nov 2024 20:10:34 +0100 | wenzelm | tuned proofs; | changeset | files |
| Wed, 13 Nov 2024 15:14:48 +0100 | wenzelm | more ambitious mouse handler: double-click selects highlight_area; | changeset | files |
| Wed, 13 Nov 2024 14:54:08 +0100 | wenzelm | more accurate mouse handler: only for single clicks, consume accepted event; | changeset | files |