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