src/Pure/term_xml.scala
Sat, 09 Apr 2022 15:28:55 +0200 wenzelm clarified signature;
Sat, 09 Apr 2022 12:07:51 +0200 wenzelm tuned --- avoid warnings in scala3;
Sat, 09 Apr 2022 12:02:38 +0200 wenzelm avoid pattern-match warnings, notably in scala3;
Fri, 01 Apr 2022 17:06:10 +0200 wenzelm clarified formatting, for the sake of scala3;
Tue, 21 Apr 2020 22:19:59 +0200 wenzelm clarified signature: avoid clash with Isabelle/Scala Term.OFCLASS on case-insensible file-system;
Sat, 12 Oct 2019 15:01:13 +0200 wenzelm more compact XML;
Sat, 12 Oct 2019 13:43:17 +0200 wenzelm more compact XML: separate environment for free variables;
Sat, 12 Oct 2019 12:25:16 +0200 wenzelm more compact XML;
Fri, 11 Oct 2019 18:26:35 +0200 wenzelm clarified oracle_proof;
Thu, 10 Oct 2019 16:51:47 +0200 wenzelm more compact XML representation;
Fri, 04 Oct 2019 15:30:52 +0200 wenzelm Term_XML.Encode/Decode.term uses Const "typargs";
Sat, 17 Aug 2019 11:52:47 +0200 wenzelm clarified type for recorded oracles;
Thu, 15 Aug 2019 16:57:09 +0200 wenzelm clarified PThm: theory_name simplifies retrieval from exports;
Thu, 15 Aug 2019 16:26:50 +0200 wenzelm clarified type Indexname, with plain value Int;
Thu, 15 Aug 2019 16:02:47 +0200 wenzelm support for (fully reconstructed) proof terms in Scala;
Tue, 12 Jul 2011 18:00:05 +0200 wenzelm more uniform Term and Term_XML modules;
less more (0) tip