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