11 months ago wenzelm 2018-05-09 clarified future scheduling parameters, with support for parallel_limit;
11 months ago wenzelm 2018-05-09 record total number of tasks;
11 months ago paulson 2018-05-09 merged
11 months ago paulson 2018-05-09 more infinite product theorems
11 months ago wenzelm 2018-05-09 proper merge of items without term index (amending b969263fcf02);
11 months ago nipkow 2018-05-09 announce sorted changes
11 months ago paulson 2018-05-08 merged
11 months ago paulson 2018-05-08 one tiny fix
11 months ago paulson 2018-05-08 merged
11 months ago paulson 2018-05-08 merged
11 months ago paulson 2018-05-08 tidying more messy proofs
11 months ago nipkow 2018-05-08 merged
11 months ago nipkow 2018-05-08 more efficient code
11 months ago wenzelm 2018-05-08 merged
11 months ago wenzelm 2018-05-08 command-line tool "isabelle export"; more documentation; tuned;
11 months ago wenzelm 2018-05-08 more efficient query;
11 months ago wenzelm 2018-05-08 more robust: self-export only;
11 months ago wenzelm 2018-05-08 tuned signature;
11 months ago nipkow 2018-05-08 merged
11 months ago nipkow 2018-05-08 more "sorted" changes
11 months ago nipkow 2018-05-08 more "sorted" changes
11 months ago nipkow 2018-05-08 new def of sorted and sorted_wrt
11 months ago wenzelm 2018-05-07 more operations;
11 months ago wenzelm 2018-05-07 merged
11 months ago wenzelm 2018-05-07 return exports as result for Isabelle server;
11 months ago wenzelm 2018-05-07 more checks;
11 months ago wenzelm 2018-05-07 tuned;
11 months ago wenzelm 2018-05-07 more robust (synchronous) management of Export.Entry: Future.fork happens inside the data structure; tuned;
11 months ago wenzelm 2018-05-07 clarified signature; avoid pointless compression;
11 months ago wenzelm 2018-05-07 store exports within PIDE command state; Markup.Export.unapply: proper NAME;
11 months ago haftmann 2018-05-06 removed some lemma duplicates
11 months ago haftmann 2018-05-06 typo
11 months ago haftmann 2018-05-06 more appropriate notion of emptiness
11 months ago paulson 2018-05-06 merged
11 months ago paulson 2018-05-06 more tidying
11 months ago paulson 2018-05-06 starting to tidy up Interval_Integral.thy
11 months ago wenzelm 2018-05-06 more operations;
11 months ago wenzelm 2018-05-06 merged
11 months ago wenzelm 2018-05-06 store exports in session database, with asynchronous / parallel compression;
11 months ago wenzelm 2018-05-06 tuned signature;
11 months ago wenzelm 2018-05-06 tuned signature; clarified modules;
11 months ago wenzelm 2018-05-06 tuned signature;
11 months ago wenzelm 2018-05-05 protocol message for export of theory resources;
11 months ago wenzelm 2018-05-05 hexadecimal representation of byte string;
11 months ago wenzelm 2018-05-05 cleanup session output before starting build job; tuned signature;
11 months ago nipkow 2018-05-06 reinstated old lemma name
11 months ago nipkow 2018-05-06 updated to lemma name change
11 months ago nipkow 2018-05-06 removed asm "finite"
11 months ago wenzelm 2018-05-04 merged
11 months ago wenzelm 2018-05-04 no censorship of view title;
11 months ago wenzelm 2018-05-04 set view title dynamically;
11 months ago nipkow 2018-05-04 tuned
11 months ago nipkow 2018-05-04 tuned
11 months ago paulson 2018-05-03 Some tidying up (mostly regarding summations from 0)
11 months ago paulson 2018-05-03 tidied up Infinite_Products
11 months ago immler 2018-05-03 merged
11 months ago immler 2018-05-03 fixed HOL-Analysis
11 months ago immler 2018-05-03 merged; resolved conflicts manually (esp. lemmas that have been moved from Linear_Algebra and Cartesian_Euclidean_Space)
11 months ago immler 2018-05-02 added Johannes' generalizations Modules.thy and Vector_Spaces.thy; adapted HOL and HOL-Analysis accordingly
11 months ago paulson 2018-05-03 a lemma about infinite products