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

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
proper src1, amending 20157c8ab3f3;
23 months ago, by wenzelm
tuned;
23 months ago, by wenzelm
proper File.eq, amending df49ca5da9d0;
23 months ago, by wenzelm
tuned;
23 months ago, by wenzelm
clarified modules: more like ML;
23 months ago, by wenzelm
obsolete;
23 months ago, by wenzelm
tuned;
23 months ago, by wenzelm
more direct make_directory in ML and Scala, but ssh still requires perl for Windows UNC paths (see a5dbad753552);
23 months ago, by wenzelm
discontinued somewhat pointless "integrity test of build_history": it fails right now, but also failed to expose spurious incompatibilities when it was working;
23 months ago, by wenzelm
more checks;
23 months ago, by wenzelm
clarified message;
23 months ago, by wenzelm
clarified message;
23 months ago, by wenzelm
clarified comments;
23 months ago, by wenzelm
clarified message;
23 months ago, by wenzelm
improved list_neq simproc
23 months ago, by nipkow
merged
23 months ago, by haftmann
repaired document
23 months ago, by haftmann
merged
23 months ago, by paulson
merged
23 months ago, by paulson
A couple of basic lemmas about arg
23 months ago, by paulson
multiset as equivalence class of permuted lists
23 months ago, by haftmann
emphasize connection to multisets
23 months ago, by haftmann
proper "latest" tag, otherwise the default pull command from https://hub.docker.com/r/makarius/isabelle won't work;
23 months ago, by wenzelm
more on Isabelle_System.bash;
23 months ago, by wenzelm
more specific name
23 months ago, by haftmann
more lemmas
23 months ago, by haftmann
dropped obscure FIXME
23 months ago, by haftmann
proper usage of hypotheses for zipperposition's TPTP generation
23 months ago, by desharna
merged
23 months ago, by desharna
tuned Mirabelle to parse option check_trivial only once
23 months ago, by desharna
merged
23 months ago, by desharna

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

isabelle