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 -50 -30 +30 +50 +100 +300 +1000 +3000 tip

more robust error;
2021-03-03, by wenzelm
tuned --- fewer warnings;
2021-03-03, by wenzelm
tuned --- fewer warnings;
2021-03-03, by wenzelm
tuned --- fewer warnings;
2021-03-03, by wenzelm
updated to scala-2.13.5 (with scala-swing_2.13-3.0.0);
2021-03-03, by wenzelm
slightly more efficient Term.fastype_of (only little impact in regular applications);
2021-03-03, by wenzelm
reduced dependencies on theory List_Permutation
2021-03-02, by haftmann
Merge
2021-03-01, by paulson
reverted simprule status on a new lemma
2021-03-01, by paulson
merged
2021-03-01, by paulson
tiny bit of lemma hacking
2021-03-01, by paulson
tuned --- fewer warnings;
2021-03-01, by wenzelm
tuned --- fewer warnings;
2021-03-01, by wenzelm
tuned --- avoid deprecated conversions between certain number type;
2021-03-01, by wenzelm
tuned --- avoid deprecated Predef.any2stringadd;
2021-03-01, by wenzelm
tuned --- silence odd warning;
2021-03-01, by wenzelm
tuned --- fewer warnings;
2021-03-01, by wenzelm
tuned --- fewer warnings;
2021-03-01, by wenzelm
tuned --- fewer warnings;
2021-03-01, by wenzelm
tuned --- fewer warnings;
2021-03-01, by wenzelm
clarified signature, according to Isabelle/Scala;
2021-03-01, by wenzelm
download more directly, via means of JVM;
2021-03-01, by wenzelm
download on separate thread;
2021-03-01, by wenzelm
clarified signature;
2021-03-01, by wenzelm
tuned;
2021-03-01, by wenzelm
proper relative path (see also df49ca5da9d0, 5b15eee1a661, etc.);
2021-03-01, by wenzelm
tuned signature;
2021-03-01, by wenzelm
NEWS
2021-03-01, by haftmann
lemma diffusion
2021-02-28, by haftmann
more connections between mset _ = mset _ and permutations
2021-02-28, by haftmann

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

isabelle