From 45c42493794f7a1adc99a22dd6ee013b4457bf84 Mon Sep 17 00:00:00 2001 From: Joris van der Hoeven Date: Tue, 8 Dec 2020 17:48:43 +0000 Subject: [PATCH] Updates for version 1.99.17 --- about/changes/change-log.en.tm | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) diff --git a/about/changes/change-log.en.tm b/about/changes/change-log.en.tm index 8f8647a..51cc08a 100644 --- a/about/changes/change-log.en.tm +++ b/about/changes/change-log.en.tm @@ -1,13 +1,23 @@ - + > <\body> changelog> - + <\itemize> + Continued bug fixes (1.99.17). + + Improved remote editing tools (1.99.17). + + New style package \P\Q for various kinds of + comments (1.99.17). + + Lightweight facility for managing user-defined keyboard shortcuts + (1.99.17). + Further improvements for preview and help balloons (1.99.16). Possibility to find labels from their numeric value (1.99.16).