src/Pure/Thy/export_theory.ML
13 months ago wenzelm 2018-05-17 export more theory and session structure;
13 months ago wenzelm 2018-05-17 misc tuning and clarification;
13 months ago wenzelm 2018-05-16 proper PIDE positions;
13 months ago wenzelm 2018-05-14 more general presentation hook, with document preparation as application;
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 clarified markup;
13 months ago wenzelm 2018-05-13 more exports; misc tuning and clarification;
13 months ago wenzelm 2018-05-11 some export of foundational theory content;