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
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
reduced dependencies on theory List_Permutation
3 months ago, by haftmann
Merge
3 months ago, by paulson
reverted simprule status on a new lemma
3 months ago, by paulson
merged
3 months ago, by paulson
tiny bit of lemma hacking
3 months ago, by paulson
tuned --- fewer warnings;
3 months ago, by wenzelm
tuned --- fewer warnings;
3 months ago, by wenzelm
tuned --- avoid deprecated conversions between certain number type;
3 months ago, by wenzelm
tuned --- avoid deprecated Predef.any2stringadd;
3 months ago, by wenzelm
tuned --- silence odd warning;
3 months ago, by wenzelm
tuned --- fewer warnings;
3 months ago, by wenzelm
tuned --- fewer warnings;
3 months ago, by wenzelm
tuned --- fewer warnings;
3 months ago, by wenzelm
tuned --- fewer warnings;
3 months ago, by wenzelm
clarified signature, according to Isabelle/Scala;
3 months ago, by wenzelm
download more directly, via means of JVM;
3 months ago, by wenzelm
download on separate thread;
3 months ago, by wenzelm
clarified signature;
3 months ago, by wenzelm
tuned;
3 months ago, by wenzelm
proper relative path (see also df49ca5da9d0, 5b15eee1a661, etc.);
3 months ago, by wenzelm
tuned signature;
3 months ago, by wenzelm
NEWS
3 months ago, by haftmann
lemma diffusion
3 months ago, by haftmann
more connections between mset _ = mset _ and permutations
3 months ago, by haftmann
dissolve theory with duplicated name from afp
3 months ago, by haftmann
more robust (amending 87403fde8cc3): notably allow symlink to existing directory, which Files.createDirectories does not accept;
3 months ago, by wenzelm
more Isabelle/ML/Scala operations;
3 months ago, by wenzelm
more Isabelle/ML/Scala operations;
3 months ago, by wenzelm
more Isabelle/ML/Scala operations;
3 months ago, by wenzelm
proper src1, amending 20157c8ab3f3;
3 months ago, by wenzelm
tuned;
3 months ago, by wenzelm
proper File.eq, amending df49ca5da9d0;
3 months ago, by wenzelm
tuned;
3 months ago, by wenzelm
clarified modules: more like ML;
3 months ago, by wenzelm
obsolete;
3 months ago, by wenzelm
tuned;
3 months ago, by wenzelm
more direct make_directory in ML and Scala, but ssh still requires perl for Windows UNC paths (see a5dbad753552);
3 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;
3 months ago, by wenzelm
more checks;
3 months ago, by wenzelm
clarified message;
3 months ago, by wenzelm
clarified message;
3 months ago, by wenzelm
clarified comments;
3 months ago, by wenzelm
clarified message;
3 months ago, by wenzelm
improved list_neq simproc
3 months ago, by nipkow
merged
3 months ago, by haftmann
repaired document
3 months ago, by haftmann
merged
3 months ago, by paulson
merged
3 months ago, by paulson
A couple of basic lemmas about arg
3 months ago, by paulson
multiset as equivalence class of permuted lists
3 months ago, by haftmann
emphasize connection to multisets
3 months ago, by haftmann
proper "latest" tag, otherwise the default pull command from https://hub.docker.com/r/makarius/isabelle won't work;
3 months ago, by wenzelm
more on Isabelle_System.bash;
3 months ago, by wenzelm
more specific name
3 months ago, by haftmann
more lemmas
3 months ago, by haftmann
dropped obscure FIXME
3 months ago, by haftmann
proper usage of hypotheses for zipperposition's TPTP generation
3 months ago, by desharna
merged
3 months ago, by desharna
tuned Mirabelle to parse option check_trivial only once
4 months ago, by desharna
merged
4 months ago, by desharna
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
tip