isabelle: Changelog

wenzelm [Thu, 11 Mar 2021 12:16:17 +0100] rev 73412

clarified components;

haftmann [Thu, 11 Mar 2021 07:05:38 +0000] rev 73411

avoid name clash

haftmann [Thu, 11 Mar 2021 07:05:29 +0000] rev 73410

lemma

wenzelm [Thu, 11 Mar 2021 11:22:25 +0100] rev 73409

tuned;

traytel [Thu, 11 Mar 2021 10:25:04 +0100] rev 73408

another example for lift_bnf for quotients

wenzelm [Wed, 10 Mar 2021 21:55:28 +0100] rev 73407

merged

wenzelm [Wed, 10 Mar 2021 20:09:26 +0100] rev 73406

proper \usepackage[T1]{fontenc};

wenzelm [Wed, 10 Mar 2021 19:03:24 +0100] rev 73405

more robust init: avoid spilling opam artifacts;

wenzelm [Tue, 09 Mar 2021 21:11:05 +0100] rev 73404

proper type-setting of cartouches (requires T1); \usepackage[T1]{fontenc} is default for mkroot; \usepackage[utf8]{inputenc} is obsolete in lualatex;

wenzelm [Tue, 09 Mar 2021 20:00:44 +0100] rev 73403

provide \usepackage{textcomp} (again), for the sake of Ubuntu 16.04;

isabelle