src/Pure/Thy/export_theory.scala
5 months ago wenzelm 2018-09-15 more exports;
5 months ago wenzelm 2018-08-31 clarified signature: proper typargs;
5 months ago wenzelm 2018-08-31 export locale content; read_theory_names: proper classrel, arities; tuned signature;
5 months ago wenzelm 2018-08-28 more robust: Pure entities may lack id;
5 months ago wenzelm 2018-08-28 retain original id, which is command_id/exec_id for PIDE; tuned;
6 months ago wenzelm 2018-08-05 more uniform facts: single vs. multi;
6 months ago wenzelm 2018-08-03 tuned output;
6 months ago wenzelm 2018-08-03 tuned signature -- removed somewhat pointless operation;
6 months ago wenzelm 2018-08-03 more operations;
6 months ago wenzelm 2018-08-03 more explicit entity kind;
6 months ago wenzelm 2018-08-02 tuned signature: more operations;
6 months ago wenzelm 2018-08-02 tuned signature;
6 months ago wenzelm 2018-08-02 always export Pure theory;
8 months ago wenzelm 2018-06-11 more abstract Export.Provider;
8 months ago wenzelm 2018-06-01 tuned signature;
8 months ago wenzelm 2018-05-26 export sort algebra;
8 months ago wenzelm 2018-05-24 more scalable JVM memory management;
8 months ago wenzelm 2018-05-24 more exports; read_session: proper signature;
9 months ago wenzelm 2018-05-20 export facts;
9 months ago wenzelm 2018-05-20 clarified encoding;
9 months ago wenzelm 2018-05-19 tuned queries;
9 months ago wenzelm 2018-05-18 tuned signature;
9 months ago wenzelm 2018-05-18 support Store with options;
9 months ago wenzelm 2018-05-18 more exports;
9 months ago wenzelm 2018-05-17 export more theory and session structure;
9 months ago wenzelm 2018-05-17 read theory content from session database;
9 months ago wenzelm 2018-05-13 more uniform types vs. consts;
9 months ago wenzelm 2018-05-13 more concise information;
9 months ago wenzelm 2018-05-13 export foundational theory content in Scala;