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
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.
merged
15 months ago, by desharna
added stride option to Mirabelle
15 months ago, by desharna
proper prover capabilities for zipperposition
15 months ago, by desharna
NEWS;
15 months ago, by wenzelm
merged
15 months ago, by wenzelm
clarified uses of Isabelle_System.bash_process: more checks, fewer messages;
15 months ago, by wenzelm
tuned signature;
15 months ago, by wenzelm
more direct timing from bash_process wrapper;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
clarified signature, following Isabelle/Scala;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
clarified signature;
15 months ago, by wenzelm
clarified signature: Isabelle_System.bash_process is strict and thus cannot check for interrupt_return_code;
15 months ago, by wenzelm
clarified signature: always trim_line of Process_Result.out/err, uniformly in ML and Scala;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
clarified signature, following Isabelle/Scala;
15 months ago, by wenzelm
tuned signature;
15 months ago, by wenzelm
clarified signature: process_result timing from Isabelle/Scala;
15 months ago, by wenzelm
NEWS
15 months ago, by haftmann
dedicated locale for preorder and abstract bdd operation
15 months ago, by haftmann
get rid of traditional predicate
15 months ago, by haftmann
proper treatment of process_result;
15 months ago, by wenzelm
more accurate process_result in ML, corresponding to Process_Result in Scala;
15 months ago, by wenzelm
clarified: proper trim_line for error;
15 months ago, by wenzelm
unused;
15 months ago, by wenzelm
clarified lines (again);
15 months ago, by wenzelm
clarified modules;
15 months ago, by wenzelm
more uniform Bash.process: always ask Isabelle/Scala;
15 months ago, by wenzelm
more reactive protocol messages, e.g. for Scala.function (relevant for Bash.process);
15 months ago, by wenzelm
clarified compiler options;
15 months ago, by wenzelm
tuned comments;
15 months ago, by wenzelm
removed obsolete RC tags;
15 months ago, by wenzelm
more hints;
15 months ago, by wenzelm
merged
15 months ago, by wenzelm
Added tag Isabelle2021 for changeset 7e2a9a8c2b85
15 months ago, by wenzelm
provide naproche-755224402e36;
Isabelle2021
15 months ago, by wenzelm
provide naproche-4ad61140062f;
15 months ago, by wenzelm
HOL-Analysis/Probability: Hoeffding's inequality, negative binomial distribution, etc.
15 months ago, by Manuel Eberl
tidied up a few ugly proofs
15 months ago, by paulson
merged
15 months ago, by wenzelm
provide naproche-6d0d76ce2f2a;
15 months ago, by wenzelm
Added tag Isabelle2021-RC6 for changeset ed36e33a2e4b
15 months ago, by wenzelm
updated to flatlaf-1.0;
15 months ago, by wenzelm
tuned NEWS;
15 months ago, by wenzelm
tuned comments;
15 months ago, by wenzelm
more robust interrupt handling as in Future.forked_results (amending 64df1e514005);
15 months ago, by wenzelm
more parallelism: avoid exhaustion of standard thread pool;
15 months ago, by wenzelm
more robust: resolve historic components via current tool to access current server;
15 months ago, by wenzelm
tuned signature;
15 months ago, by wenzelm
more parallelism;
15 months ago, by wenzelm
more robust ISABELLE_COMPONENT_REPOSITORY: use current value of managing process to avoid its fluctuation in ancient history;
15 months ago, by wenzelm
clarified signature;
15 months ago, by wenzelm
merged;
15 months ago, by wenzelm
Added tag Isabelle2021-RC5 for changeset a88dbf2a020f
15 months ago, by wenzelm
provide naproche-7d0947a91dd5;
15 months ago, by wenzelm
more complete solutions (amending 4d36070bdbf4);
15 months ago, by wenzelm
terminate faster (following dd9fc8a3036c);
15 months ago, by wenzelm
more robust: accommodate output lines produced by Scala "bash_process";
15 months ago, by wenzelm
updated for release;
15 months ago, by wenzelm
updated to flatlaf-1.0-rc3;
15 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip