src/Pure/PIDE/xml0.ML
Wed, 11 Sep 2024 20:45:17 +0200 wenzelm clarified YXML bootstrap;
Wed, 11 Sep 2024 12:32:11 +0200 wenzelm clarified signature and modules;
Wed, 11 Sep 2024 12:18:29 +0200 wenzelm clarified files;
less more (0) tip