15 months ago wenzelm 2018-05-20 clarified encoding;
15 months ago wenzelm 2018-05-20 more scalable;
15 months ago wenzelm 2018-05-20 tuned output;
15 months ago wenzelm 2018-05-20 more scalable;
15 months ago wenzelm 2018-05-20 tuned;
15 months ago wenzelm 2018-05-20 support HTTPS;
15 months ago wenzelm 2018-05-20 updated to scala-2.12.6;
15 months ago wenzelm 2018-05-20 prefer HTTPS;
15 months ago wenzelm 2018-05-19 override default of Isabelle_Process, notably for PIDE export of "document.tex";
15 months ago wenzelm 2018-05-19 tuned queries;
15 months ago wenzelm 2018-05-19 support for build_database_server (PostgreSQL); clarified signature;
15 months ago wenzelm 2018-05-19 clarified store.clean_output: cleanup user_output_dir even in system_mode;
15 months ago wenzelm 2018-05-19 clarified store directories; discontinued settings ISABELLE_PATH, ISABELLE_OUTPUT;
15 months ago wenzelm 2018-05-19 tuned;
15 months ago wenzelm 2018-05-19 clarified handling of output heap;
15 months ago wenzelm 2018-05-19 tuned;
15 months ago nipkow 2018-05-19 added lemmas
15 months ago wenzelm 2018-05-18 more abstract database access;
15 months ago wenzelm 2018-05-18 tuned;
15 months ago wenzelm 2018-05-18 clarified heap vs. database operations: discontinued correlation of directory;
15 months ago wenzelm 2018-05-18 tuned;
15 months ago wenzelm 2018-05-18 tuned signature;
15 months ago wenzelm 2018-05-18 support Store with options;
15 months ago wenzelm 2018-05-18 more exports;
15 months ago blanchet 2018-05-17 updated some Sledgehammer components, following Makarius advice
15 months ago wenzelm 2018-05-17 export more theory and session structure;
15 months ago wenzelm 2018-05-17 tuned signature;
15 months ago wenzelm 2018-05-17 clarified signature;
15 months ago wenzelm 2018-05-17 read theory content from session database;
15 months ago wenzelm 2018-05-17 clarified signature;
15 months ago wenzelm 2018-05-17 misc tuning and clarification;
15 months ago Andreas Lochbihler 2018-05-17 NEWS and CONTRIBUTORS for 8b50f29a1992
15 months ago wenzelm 2018-05-16 proper PIDE positions;
15 months ago wenzelm 2018-05-16 avoid race condition wrt. ISABELLE_TMP, which is removed in Bash.cleanup() before Bash.result(progress_stdout);
15 months ago wenzelm 2018-05-16 clarified "consolidation" vs. "presentation";
15 months ago wenzelm 2018-05-16 tuned signature;
15 months ago wenzelm 2018-05-16 merged
15 months ago wenzelm 2018-05-16 tuned;
15 months ago wenzelm 2018-05-16 more thorough checks for theory name consistency (for extend, not just merge);
15 months ago wenzelm 2018-05-15 more uniform output (cf. 450cefec7c11);
15 months ago nipkow 2018-05-15 removed duplicates
15 months ago nipkow 2018-05-15 added lemmas
15 months ago wenzelm 2018-05-15 tuned headers;
15 months ago immler 2018-05-15 move FuncSet back to HOL-Library (amending 493b818e8e10)
15 months ago nipkow 2018-05-15 merged
15 months ago nipkow 2018-05-14 cleaning up sorted
15 months ago wenzelm 2018-05-14 merged
15 months ago wenzelm 2018-05-14 support for dynamic document output while editing;
15 months ago wenzelm 2018-05-14 adjust position according to offset of command/exec id;
15 months ago wenzelm 2018-05-14 tuned signature (see Command.eval_state);
15 months ago wenzelm 2018-05-14 export generated document.tex, unless explicit document=false;
15 months ago wenzelm 2018-05-14 more general presentation hook, with document preparation as application;
15 months ago wenzelm 2018-05-14 clarified signature: more explicit type "context" with full options;
15 months ago wenzelm 2018-05-14 more explicit type Thy_Output.segment;
15 months ago wenzelm 2018-05-14 clarified signature; more operations;
15 months ago nipkow 2018-05-14 more sorted cleaning
15 months ago nipkow 2018-05-14 cleaning up sorted
15 months ago wenzelm 2018-05-13 merged
15 months ago wenzelm 2018-05-13 more uniform types vs. consts;
15 months ago wenzelm 2018-05-13 more concise information;