src/Pure/Thy/export_theory.scala
Thu, 04 Mar 2021 15:41:46 +0100 wenzelm tuned --- fewer warnings;
Mon, 01 Mar 2021 22:22:12 +0100 wenzelm tuned --- fewer warnings;
Sat, 02 Jan 2021 22:22:34 +0100 wenzelm clarified signature: absorb XZ.Cache into XML.Cache;
less more (0) -30 -10 -3 tip