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
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.
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
dissolve theory with duplicated name from afp
2021-02-28, by haftmann
more robust (amending 87403fde8cc3): notably allow symlink to existing directory, which Files.createDirectories does not accept;
2021-02-28, by wenzelm
more Isabelle/ML/Scala operations;
2021-02-27, by wenzelm
more Isabelle/ML/Scala operations;
2021-02-27, by wenzelm
more Isabelle/ML/Scala operations;
2021-02-27, by wenzelm
proper src1, amending 20157c8ab3f3;
2021-02-27, by wenzelm
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
merged
2021-02-12, by desharna
added stride option to Mirabelle
2021-02-12, by desharna
proper prover capabilities for zipperposition
2021-02-12, by desharna
NEWS;
2021-02-22, by wenzelm
merged
2021-02-22, by wenzelm
clarified uses of Isabelle_System.bash_process: more checks, fewer messages;
2021-02-22, by wenzelm
tuned signature;
2021-02-22, by wenzelm
more direct timing from bash_process wrapper;
2021-02-22, by wenzelm
tuned;
2021-02-22, by wenzelm
clarified signature, following Isabelle/Scala;
2021-02-22, by wenzelm
tuned;
2021-02-22, by wenzelm
clarified signature;
2021-02-22, by wenzelm
clarified signature: Isabelle_System.bash_process is strict and thus cannot check for interrupt_return_code;
2021-02-22, by wenzelm
clarified signature: always trim_line of Process_Result.out/err, uniformly in ML and Scala;
2021-02-22, by wenzelm
tuned;
2021-02-22, by wenzelm
clarified signature, following Isabelle/Scala;
2021-02-22, by wenzelm
tuned signature;
2021-02-22, by wenzelm
clarified signature: process_result timing from Isabelle/Scala;
2021-02-22, by wenzelm
NEWS
2021-02-22, by haftmann
dedicated locale for preorder and abstract bdd operation
2021-02-22, by haftmann
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip