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