isabelle: Changelog

wenzelm [Sun, 27 Sep 2020 23:02:25 +0200] rev 72315

suppress ligatures more robustly, notably for lualatex;

wenzelm [Sun, 27 Sep 2020 17:02:59 +0200] rev 72314

ISABELLE_PDFLATEX is now lualatex; tuned whitespace to enforce fresh build;

nipkow [Sat, 26 Sep 2020 18:59:12 +0200] rev 72313

added lemma

wenzelm [Sat, 26 Sep 2020 17:04:51 +0200] rev 72312

less bulky session stack;

wenzelm [Sat, 26 Sep 2020 16:02:54 +0200] rev 72311

clarified document export;

wenzelm [Sat, 26 Sep 2020 16:02:41 +0200] rev 72310

tuned signature;

wenzelm [Sat, 26 Sep 2020 14:29:46 +0200] rev 72309

discontinued obsolete DVI document format and related settings/tools;

wenzelm [Sat, 26 Sep 2020 11:43:25 +0200] rev 72308

clarified errors;

wenzelm [Sat, 26 Sep 2020 11:30:26 +0200] rev 72307

tuned signature;

wenzelm [Sat, 26 Sep 2020 11:17:49 +0200] rev 72306

tuned;

isabelle