isabelle: Graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -120 +120 +1000 +3000 +10000 tip

indent = 0 for blank lines: produce less whitespace by default;
2017-06-23, by wenzelm
clarified prev_line: stop at blank line;
2017-06-23, by wenzelm
more information;
2017-06-23, by wenzelm
tuned signature;
2017-06-23, by wenzelm
tuned;
2017-06-23, by wenzelm
avoid trailing spaces;
2017-06-23, by wenzelm
clarified modules;
2017-06-23, by wenzelm
Merged
2017-06-23, by eberlm
distrib_lattice instance for filters
2017-06-23, by eberlm
merged
2017-06-22, by wenzelm
keep original bottom-up order of proof forks, which potentially reduces thread congestion due to Proofterm.consolidate;
2017-06-22, by wenzelm
consolidate proofs more simultaneously;
2017-06-22, by wenzelm
more informative task_statistics;
2017-06-22, by wenzelm
more informative task_statistics;
2017-06-22, by wenzelm
Merge
2017-06-22, by paulson
New theorems and much tidying up of the old ones
2017-06-22, by paulson
added 'solvers' option to Nunchaku
2017-06-22, by blanchet
Contravariant map on filters
2017-06-22, by eberlm
merged
2017-06-21, by wenzelm
tuned granularity of parallel tasks;
2017-06-21, by wenzelm
more completion;
2017-06-21, by wenzelm
clarified modules;
2017-06-21, by wenzelm
tuned signature;
2017-06-21, by wenzelm
added -d option to Mirabelle
2017-06-21, by blanchet
stripped code pre/postprocessor setup for real from superfluous rules
2017-06-20, by haftmann
Tidying up integration theory and some new theorems
2017-06-21, by paulson
more completion;
2017-06-21, by wenzelm
tuned signature;
2017-06-21, by wenzelm
tuned signature;
2017-06-21, by wenzelm
tuned signature;
2017-06-21, by wenzelm
deleting a code equation never leads to unimplemented function
2017-06-20, by haftmann
avoid ancient [code, code del] antipattern
2017-06-20, by haftmann
obsolete
2017-06-20, by haftmann
register equations stemming from extracted proofs as specification rules
2017-06-20, by haftmann
tuned
2017-06-20, by haftmann
merged
2017-06-20, by wenzelm
tuned signature;
2017-06-20, by wenzelm
proper treatment of empty result;
2017-06-20, by wenzelm
clarified modules;
2017-06-20, by wenzelm
tuned signature;
2017-06-20, by wenzelm
provide spell-checker menu via completion commands;
2017-06-20, by wenzelm
added commands for spell-checker dictionary;
2017-06-20, by wenzelm
tuned signature;
2017-06-20, by wenzelm
tuning
2017-06-20, by blanchet
SMT news
2017-06-20, by blanchet
correctly unfold applied 'let's (e.g. '(let x = a in f) b') -- and removed dead code
2017-06-20, by blanchet
do not print unimplemented functions
2017-06-20, by haftmann
dropped void values
2017-06-20, by haftmann
more uniform order of constructors
2017-06-20, by haftmann
more consistent terminology
2017-06-20, by haftmann
avoid name particle "the" where no selection is implied
2017-06-20, by haftmann
more uniform ordering and naming of sections;
2017-06-20, by haftmann
tuned internal signature
2017-06-20, by haftmann
more explicit constructor name
2017-06-20, by haftmann
tuned whitespace
2017-06-20, by haftmann
replaced recdef by fun
2017-06-20, by haftmann
spelling
2017-06-20, by haftmann
merged
2017-06-19, by wenzelm
added spell-checker completion;
2017-06-19, by wenzelm
clarified modules;
2017-06-19, by wenzelm
tuned;
2017-06-19, by wenzelm
clarified modules;
2017-06-19, by wenzelm
tuned signature;
2017-06-19, by wenzelm
clarified modules;
2017-06-19, by wenzelm
tuned;
2017-06-19, by wenzelm
clarified signature;
2017-06-19, by wenzelm
Repaired an inadvertent reordering of the premises of two theorems
2017-06-19, by paulson
New theorems; stronger theorems; tidier theorems. Also some renaming
2017-06-19, by paulson
merged
2017-06-17, by nipkow
adapted to new simp lemmas
2017-06-17, by nipkow
added simp rules
2017-06-17, by nipkow
more permissive: avoid situations where query is silently ignored;
2017-06-17, by wenzelm
more robust: do not touch unrelated directory isabelle_repos_other (i.e. bad argument);
2017-06-17, by wenzelm
always start with fresh clone (with explicitly given rev): more robust on Windows;
2017-06-17, by wenzelm
reverted 94cad7590015: does not help much on Windows;
2017-06-17, by wenzelm
tuned signature;
2017-06-17, by wenzelm
merged
2017-06-17, by wenzelm
updated package;
2017-06-17, by wenzelm
maintain overlays within main state of document models;
2017-06-17, by wenzelm
proper treatment of editor overlays;
2017-06-16, by wenzelm
tuned;
2017-06-16, by wenzelm
clarified modules;
2017-06-16, by wenzelm
tuned signature;
2017-06-16, by wenzelm
support for separate proof state output;
2017-06-16, by wenzelm
automatic reformatting;
2017-06-16, by wenzelm
more general dispatcher operations;
2017-06-16, by wenzelm
tuned;
2017-06-14, by wenzelm
clarified modules;
2017-06-14, by wenzelm
tuned;
2017-06-14, by wenzelm
tuned;
2017-06-14, by wenzelm
Some new material. SIMPRULE STATUS for sum/prod.delta rules!
2017-06-15, by paulson
tuned
2017-06-15, by nipkow
simplified delete/proof
2017-06-14, by nipkow
clarified signature;
2017-06-13, by wenzelm
added abstract editor operations, notably for Query_Operation;
2017-06-13, by wenzelm
tuned signature;
2017-06-13, by wenzelm
tuned;
2017-06-13, by wenzelm
clarified modules;
2017-06-13, by wenzelm
clarified modules;
2017-06-13, by wenzelm
updated package;
2017-06-13, by wenzelm
tuned GUI;
2017-06-13, by wenzelm
obsolete;
2017-06-13, by wenzelm
removed pointless entries: not part of api.LanguageEntry;
2017-06-12, by wenzelm
avoid overlapping line background, notably for "quoted";
2017-06-12, by wenzelm
tuned rendering;
2017-06-12, by wenzelm
tuned;
2017-06-12, by wenzelm
clarified message;
2017-06-12, by wenzelm
retain vacuous CompletionProvider for now;
2017-06-12, by wenzelm
tuned;
2017-06-12, by wenzelm
dynamic configuration of prettify-symbols-mode, similar to VSCoq;
2017-06-12, by wenzelm
obsolete;
2017-06-12, by wenzelm
removed pointless default: vscode.previewHtml happens only after prover response;
2017-06-12, by wenzelm
more markup for HTML rendering;
2017-06-12, by wenzelm
tuned signature;
2017-06-12, by wenzelm
clarified;
2017-06-12, by wenzelm
tuned;
2017-06-12, by wenzelm
superseded by external protocol;
2017-06-10, by wenzelm
use old-style "textEdit" for the sake of the external protocol (see also vscode-languageserver-node/issues/188);
2017-06-10, by wenzelm
tuned;
2017-06-10, by wenzelm
symbol completion that bypasses the LS protocol, and thus observes the range properly;
2017-06-10, by wenzelm