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 tip

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

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

isabelle