6 months ago Andreas Lochbihler 2019-01-01 new implementation for case_of_simps based on Code_Lazy's pattern matching elimination algorithm
6 months ago Andreas Lochbihler 2018-12-30 separate case converter into a separate theory
6 months ago wenzelm 2019-01-01 more antiquotations -- less LaTeX macros;
6 months ago wenzelm 2019-01-01 retain important whitespace after 'text' that is suppressed, but swallows adjacent whitespace;
6 months ago nipkow 2019-01-01 tuned defs
6 months ago wenzelm 2018-12-31 merged
6 months ago wenzelm 2018-12-31 include loaded_files as doc_blobs (without purging);
6 months ago wenzelm 2018-12-31 tuned signature;
6 months ago wenzelm 2018-12-31 clarified signature;
6 months ago wenzelm 2018-12-31 tuned;
6 months ago wenzelm 2018-12-31 tuned;
6 months ago wenzelm 2018-12-31 update theory sources based on PIDE markup;
6 months ago wenzelm 2018-12-31 clarified signature;
6 months ago nipkow 2018-12-31 dynkin -> Dynkin
6 months ago nipkow 2018-12-31 tuned layout
6 months ago nipkow 2018-12-31 tuned header
6 months ago wenzelm 2018-12-30 merged
6 months ago wenzelm 2018-12-30 exclude file name components that are special on Windows;
6 months ago wenzelm 2018-12-30 reject further illegal chars according to https://docs.microsoft.com/en-us/windows/desktop/fileio/naming-a-file
6 months ago wenzelm 2018-12-30 tuned;
6 months ago wenzelm 2018-12-30 more strict check: avoid confusion of Path.basic with Path.current / Path.parent;
6 months ago wenzelm 2018-12-30 tuned;
6 months ago haftmann 2018-12-30 prefer naming convention from datatype package for strong congruence rules
6 months ago haftmann 2018-12-30 redundant
6 months ago immler 2018-12-29 split off theorems involving classes below metric_space and real_normed_vector
6 months ago immler 2018-12-29 merged
6 months ago immler 2018-12-29 merged
6 months ago immler 2018-12-29 tuned analysis manual
6 months ago wenzelm 2018-12-29 tuned signature;
6 months ago wenzelm 2018-12-29 merged
6 months ago wenzelm 2018-12-29 clarified signature, notably cascade of dump_options, deps, resources, session;
6 months ago wenzelm 2018-12-29 unused;
6 months ago wenzelm 2018-12-29 clarified signature;
6 months ago wenzelm 2018-12-29 clarified errors, according to Isabelle/MMT; tuned signature;
6 months ago wenzelm 2018-12-29 tuned, according to Isabelle/MMT;
6 months ago wenzelm 2018-12-29 clarified options: ensure consolidated Node_Status and thus percentage = 100% for progress;
6 months ago wenzelm 2018-12-29 tuned;
6 months ago nipkow 2018-12-29 merged
6 months ago nipkow 2018-12-29 more capitalization
6 months ago nipkow 2018-12-29 capitalize proper names in lemma names
6 months ago haftmann 2018-12-29 explicit dependencies for includes
6 months ago haftmann 2018-12-29 more correct handling of symbols for includes
6 months ago wenzelm 2018-12-28 more conservative update of Haskell stack (amending 04e54f57a869): 13.0 still lacks notable packages like "Agda" or "darcs";
6 months ago wenzelm 2018-12-28 merged;
6 months ago wenzelm 2018-12-28 clarified sessions_deps, according to Isabelle/MMT usage;
6 months ago wenzelm 2018-12-27 tuned signature: for other dump-like tools;
6 months ago wenzelm 2018-12-27 unused;
6 months ago wenzelm 2018-12-27 tuned;
6 months ago wenzelm 2018-12-27 clarified defaults via system options;
6 months ago nipkow 2018-12-28 added bib-file
6 months ago nipkow 2018-12-28 tuned headers etc, added bib-file
6 months ago nipkow 2018-12-28 tuned style and headers
6 months ago immler 2018-12-27 most of Topology_Euclidean_Space (now Elementary_Topology) requires fewer dependencies
6 months ago nipkow 2018-12-27 merged
6 months ago nipkow 2018-12-27 tuned headers
6 months ago immler 2018-12-27 moved lemmas up
6 months ago immler 2018-12-27 prove lemmas in context real_normed_vector
6 months ago immler 2018-12-27 moved dependency
6 months ago immler 2018-12-27 generalized to big sum
6 months ago nipkow 2018-12-27 merged