25 hours ago ago nipkow tuned default tip
25 hours ago ago nipkow added theory Tree23_of_List
28 hours ago ago paulson a few more lemmas
44 hours ago ago paulson merged
47 hours ago ago haftmann separation of reversed bit lists from other material
46 hours ago ago paulson lemmas about sets and the enumerate operator
47 hours ago ago paulson yet another little lemma
47 hours ago ago paulson merged
2 days ago ago wenzelm merged
2 days ago ago wenzelm avoid exhaustion of worker threads, notably due to complex interaction of future/promise/lazy in Proofterm.make_thm_node;
2 days ago ago wenzelm more robust: insist in finished future;
2 days ago ago wenzelm unused;
2 days ago ago haftmann further refinement of code equations for mask operation
3 days ago ago haftmann uniform mask operation
3 days ago ago haftmann clearer separation of pre-word bit list material
3 days ago ago paulson merged
4 days ago ago nipkow added lemma
4 days ago ago paulson merged
5 days ago ago haftmann more consequent transferability
6 days ago ago paulson strengthened a lemma
7 days ago ago paulson A new lemma about abstract Sum / Prod
9 days ago ago wenzelm more robust scheduler shutdown, notably for spurious crashes;
11 days ago ago nipkow unclear why I ever asked for type tree2
11 days ago ago wenzelm enforce pide_session to see if all isabelle_cronjob tasks work smoothly with it;
11 days ago ago wenzelm proper pretty printing for latex output, notably for pide_session=true (default);
12 days ago ago wenzelm clarified name to avoid duplication (no distinction of data on host = lrzcloud2);
12 days ago ago wenzelm clarified names;
13 days ago ago wenzelm more errors;
13 days ago ago wenzelm follow Phabricator update 2020 Week 27;
2 weeks ago ago wenzelm tuned;
2 weeks ago ago wenzelm unused;
2 weeks ago ago wenzelm clarified errors: avoid hiding of import_errors/dir_errors by their consequences (file-access problems);
2 weeks ago ago wenzelm clarified errors: avoid accidental import from other session that happens to be within overall selection (notably "isabelle build -a");
2 weeks ago ago wenzelm clarified signature;
2 weeks ago ago wenzelm clarified order --- proper sorting of requirements;
2 weeks ago ago wenzelm obsolete (see 9cde8c4ea5a5);
2 weeks ago ago wenzelm tuned --- based on hints by IntelliJ;
2 weeks ago ago wenzelm tuned signature;
2 weeks ago ago wenzelm updated to polyml-5.8.1 (official release);
2 weeks ago ago wenzelm subtle change of Theory_Data extend/merge semantics due to Theory.join_theory;
2 weeks ago ago wenzelm clarified -- avoid non-standard extend/merge;
2 weeks ago ago wenzelm tuned -- avoid non-standard extend;
2 weeks ago ago wenzelm clarified -- avoid non-standard extend/merge;
3 weeks ago ago wenzelm proper session imports;
3 weeks ago ago wenzelm clarified -- avoid non-standard extend;
3 weeks ago ago wenzelm tuned -- avoid non-standard extend/merge;
3 weeks ago ago wenzelm prefer conservative extend/merge of theory naming;
3 weeks ago ago wenzelm support native PID for ML process;
3 weeks ago ago wenzelm merged
3 weeks ago ago wenzelm clarified theory data: more robust merge;
3 weeks ago ago wenzelm proper import sessions;
3 weeks ago ago wenzelm more thorough extend/merge (for Theory.join_theory);
3 weeks ago ago wenzelm more thorough extend/merge (for Theory.join_theory);
3 weeks ago ago wenzelm more thorough extend/merge (for Theory.join_theory);
3 weeks ago ago wenzelm more thorough extend/merge, notably for master_dir across Theory.join_theory (e.g. for @{file} antiquotation);
3 weeks ago ago wenzelm more robust: avoid potential problems with encoding of directory name;
3 weeks ago ago haftmann tuned grouping
3 weeks ago ago haftmann yet another alias
3 weeks ago ago wenzelm more robust wrt. experimental changes in Poly/ML;
3 weeks ago ago wenzelm more robust: handle unavailable statistics;