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

added lemmas (sublist|prefix|suffix)_list_all
23 months ago, by desharna
added lemmas takeWhile_is_prefix, suffix_dropWhile, and sublist_(take|drop)While
23 months ago, by desharna
added lemmas list_all_(take|drop)I and list_all_(take|drop)WhileI
23 months ago, by desharna
typo
23 months ago, by haftmann
merged
23 months ago, by desharna
added upper bound on monomorphisation duplicate instances
23 months ago, by desharna
tuned best_slices in atp_config
23 months ago, by desharna
tuned exec field in atp_config
23 months ago, by desharna
removed junk;
23 months ago, by wenzelm
tuned proofs;
23 months ago, by wenzelm
enforce full build, after significant changes in Isabelle/Scala;
23 months ago, by wenzelm
clarified compiler options: show relevant warnings;
23 months ago, by wenzelm
tuned --- avoid compiler warnings;
23 months ago, by wenzelm
clarified signature --- fewer warnings;
23 months ago, by wenzelm
clarified signature --- fewer warnings;
23 months ago, by wenzelm
tuned --- fewer warnings;
23 months ago, by wenzelm
more robust ordering (see also 88c96e836ed6);
23 months ago, by wenzelm
proper scala.collection.immutable;
23 months ago, by wenzelm
tuned --- fewer warnings;
23 months ago, by wenzelm
tuned --- fewer warnings;
23 months ago, by wenzelm
tuned;
23 months ago, by wenzelm
tuned --- fewer warnings;
23 months ago, by wenzelm
tuned --- fewer warnings;
23 months ago, by wenzelm
tuned --- fewer warnings;
23 months ago, by wenzelm
tuned --- fewer warnings;
23 months ago, by wenzelm
more robust error;
23 months ago, by wenzelm
tuned --- fewer warnings;
23 months ago, by wenzelm
tuned --- fewer warnings;
23 months ago, by wenzelm
tuned --- fewer warnings;
23 months ago, by wenzelm
updated to scala-2.13.5 (with scala-swing_2.13-3.0.0);
23 months ago, by wenzelm
slightly more efficient Term.fastype_of (only little impact in regular applications);
23 months ago, by wenzelm
reduced dependencies on theory List_Permutation
23 months ago, by haftmann
Merge
23 months ago, by paulson
reverted simprule status on a new lemma
23 months ago, by paulson
merged
23 months ago, by paulson
tiny bit of lemma hacking
23 months ago, by paulson
tuned --- fewer warnings;
23 months ago, by wenzelm
tuned --- fewer warnings;
23 months ago, by wenzelm
tuned --- avoid deprecated conversions between certain number type;
23 months ago, by wenzelm
tuned --- avoid deprecated Predef.any2stringadd;
23 months ago, by wenzelm
tuned --- silence odd warning;
23 months ago, by wenzelm
tuned --- fewer warnings;
23 months ago, by wenzelm
tuned --- fewer warnings;
23 months ago, by wenzelm
tuned --- fewer warnings;
23 months ago, by wenzelm
tuned --- fewer warnings;
23 months ago, by wenzelm
clarified signature, according to Isabelle/Scala;
23 months ago, by wenzelm
download more directly, via means of JVM;
23 months ago, by wenzelm
download on separate thread;
23 months ago, by wenzelm
clarified signature;
23 months ago, by wenzelm
tuned;
23 months ago, by wenzelm
proper relative path (see also df49ca5da9d0, 5b15eee1a661, etc.);
23 months ago, by wenzelm
tuned signature;
23 months ago, by wenzelm
NEWS
23 months ago, by haftmann
lemma diffusion
23 months ago, by haftmann
more connections between mset _ = mset _ and permutations
23 months ago, by haftmann
dissolve theory with duplicated name from afp
23 months ago, by haftmann
more robust (amending 87403fde8cc3): notably allow symlink to existing directory, which Files.createDirectories does not accept;
23 months ago, by wenzelm
more Isabelle/ML/Scala operations;
23 months ago, by wenzelm
more Isabelle/ML/Scala operations;
23 months ago, by wenzelm
more Isabelle/ML/Scala operations;
23 months ago, by wenzelm

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

isabelle