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

tuned;
2021-02-27, by wenzelm
proper File.eq, amending df49ca5da9d0;
2021-02-27, by wenzelm
tuned;
2021-02-27, by wenzelm
clarified modules: more like ML;
2021-02-27, by wenzelm
obsolete;
2021-02-27, by wenzelm
tuned;
2021-02-27, by wenzelm
more direct make_directory in ML and Scala, but ssh still requires perl for Windows UNC paths (see a5dbad753552);
2021-02-27, 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;
2021-02-27, by wenzelm
more checks;
2021-02-27, by wenzelm
clarified message;
2021-02-27, by wenzelm
clarified message;
2021-02-27, by wenzelm
clarified comments;
2021-02-27, by wenzelm
clarified message;
2021-02-27, by wenzelm
improved list_neq simproc
2021-02-26, by nipkow
merged
2021-02-25, by haftmann
repaired document
2021-02-24, by haftmann
merged
2021-02-24, by paulson
merged
2021-02-24, by paulson
A couple of basic lemmas about arg
2021-02-24, by paulson
multiset as equivalence class of permuted lists
2021-02-24, by haftmann
emphasize connection to multisets
2021-02-24, by haftmann
proper "latest" tag, otherwise the default pull command from https://hub.docker.com/r/makarius/isabelle won't work;
2021-02-24, by wenzelm
more on Isabelle_System.bash;
2021-02-23, by wenzelm
more specific name
2021-02-23, by haftmann
more lemmas
2021-02-23, by haftmann
dropped obscure FIXME
2021-02-23, by haftmann
proper usage of hypotheses for zipperposition's TPTP generation
2021-02-23, by desharna
merged
2021-02-23, by desharna
tuned Mirabelle to parse option check_trivial only once
2021-02-19, by desharna
merged
2021-02-15, by desharna

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

isabelle