isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

tuned;
2021-03-12, by wenzelm
more robust;
2021-03-12, by wenzelm
clarified signature;
2021-03-11, by wenzelm
clarified components;
2021-03-11, by wenzelm
avoid name clash
2021-03-11, by haftmann
lemma
2021-03-11, by haftmann
tuned;
2021-03-11, by wenzelm
another example for lift_bnf for quotients
2021-03-11, by traytel
merged
2021-03-10, by wenzelm
proper \usepackage[T1]{fontenc};
2021-03-10, by wenzelm
more robust init: avoid spilling opam artifacts;
2021-03-10, by wenzelm
proper type-setting of cartouches (requires T1);
2021-03-09, by wenzelm
provide \usepackage{textcomp} (again), for the sake of Ubuntu 16.04;
2021-03-09, by wenzelm
more robust;
2021-03-09, by wenzelm
removed unused latex packages;
2021-03-09, by wenzelm
obsolete (see 0c837beeb5e7);
2021-03-09, by wenzelm
proper Isabelle/Scala tool --- avoid perl;
2021-03-09, by wenzelm
generalized confluence-based subdistributivity theorem for quotients;
2021-03-09, by traytel
Backed out changeset 3fdb94d87e0e
2021-03-09, by desharna
Backed out changeset b867b436f372
2021-03-09, by desharna
reduced dependencies on List_Permutation
2021-03-07, by haftmann
follow corresponding precedence on sets
2021-03-07, by haftmann
consolidated names
2021-03-06, by haftmann
reduced dependencies on theory List_Permutation
2021-03-06, by haftmann
obsolete (see f3378101f555);
2021-03-05, by wenzelm
merged
2021-03-05, by wenzelm
more direct unlimited smt_timeout;
2021-03-05, by wenzelm
clarified smt: support Timeout.ignored and Timeout.scale_time;
2021-03-05, by wenzelm
clarified timeouts in Isabelle/ML;
2021-03-05, by wenzelm
tuned --- more elementary Time operations;
2021-03-05, by wenzelm
removed unused/pointless operation: Time.start is the load/init time of this Scala module;
2021-03-05, by wenzelm
obsolete;
2021-03-05, by wenzelm
clarified signature --- augment existing structure Time;
2021-03-05, by wenzelm
rebuild SMT certificates from scratch;
2021-03-05, by wenzelm
added lemmas (sublist|prefix|suffix)_list_all
2021-03-05, by desharna
added lemmas takeWhile_is_prefix, suffix_dropWhile, and sublist_(take|drop)While
2021-03-05, by desharna
added lemmas list_all_(take|drop)I and list_all_(take|drop)WhileI
2021-03-05, by desharna
typo
2021-03-05, by haftmann
merged
2021-03-05, by desharna
added upper bound on monomorphisation duplicate instances
2021-03-04, by desharna
tuned best_slices in atp_config
2021-03-04, by desharna
tuned exec field in atp_config
2021-03-04, by desharna
removed junk;
2021-03-04, by wenzelm
tuned proofs;
2021-03-04, by wenzelm
enforce full build, after significant changes in Isabelle/Scala;
2021-03-04, by wenzelm
clarified compiler options: show relevant warnings;
2021-03-04, by wenzelm
tuned --- avoid compiler warnings;
2021-03-04, by wenzelm
clarified signature --- fewer warnings;
2021-03-04, by wenzelm
clarified signature --- fewer warnings;
2021-03-04, by wenzelm
tuned --- fewer warnings;
2021-03-04, by wenzelm
more robust ordering (see also 88c96e836ed6);
2021-03-04, by wenzelm
proper scala.collection.immutable;
2021-03-04, by wenzelm
tuned --- fewer warnings;
2021-03-04, by wenzelm
tuned --- fewer warnings;
2021-03-04, by wenzelm
tuned;
2021-03-04, by wenzelm
tuned --- fewer warnings;
2021-03-04, by wenzelm
tuned --- fewer warnings;
2021-03-04, by wenzelm
tuned --- fewer warnings;
2021-03-03, by wenzelm
tuned --- fewer warnings;
2021-03-03, by wenzelm
more robust error;
2021-03-03, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip

isabelle