| Mon, 28 Jun 2021 15:05:46 +0100 | paulson | A few useful lemmas about derivatives, colinearity and other topics | changeset | files |
| Sat, 26 Jun 2021 20:55:43 +0200 | wenzelm | proper Font_Subst.cache for paintScreenLineRange; | changeset | files |
| Sat, 26 Jun 2021 16:03:06 +0200 | wenzelm | more predictable result, avoid slightly odd "lastSubstFont" by jEdit; | changeset | files |
| Sat, 26 Jun 2021 15:52:16 +0200 | wenzelm | tuned; | changeset | files |