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.
proper treatment of process_result;
17 months ago, by wenzelm
more accurate process_result in ML, corresponding to Process_Result in Scala;
17 months ago, by wenzelm
clarified: proper trim_line for error;
17 months ago, by wenzelm
unused;
17 months ago, by wenzelm
clarified lines (again);
17 months ago, by wenzelm
clarified modules;
17 months ago, by wenzelm
more uniform Bash.process: always ask Isabelle/Scala;
17 months ago, by wenzelm
more reactive protocol messages, e.g. for Scala.function (relevant for Bash.process);
17 months ago, by wenzelm
clarified compiler options;
17 months ago, by wenzelm
tuned comments;
17 months ago, by wenzelm
removed obsolete RC tags;
17 months ago, by wenzelm
more hints;
17 months ago, by wenzelm
merged
17 months ago, by wenzelm
Added tag Isabelle2021 for changeset 7e2a9a8c2b85
17 months ago, by wenzelm
provide naproche-755224402e36;
Isabelle2021
17 months ago, by wenzelm
provide naproche-4ad61140062f;
17 months ago, by wenzelm
HOL-Analysis/Probability: Hoeffding's inequality, negative binomial distribution, etc.
17 months ago, by Manuel Eberl
tidied up a few ugly proofs
18 months ago, by paulson
merged
18 months ago, by wenzelm
provide naproche-6d0d76ce2f2a;
18 months ago, by wenzelm
Added tag Isabelle2021-RC6 for changeset ed36e33a2e4b
18 months ago, by wenzelm
updated to flatlaf-1.0;
18 months ago, by wenzelm
tuned NEWS;
18 months ago, by wenzelm
tuned comments;
18 months ago, by wenzelm
more robust interrupt handling as in Future.forked_results (amending 64df1e514005);
18 months ago, by wenzelm
more parallelism: avoid exhaustion of standard thread pool;
18 months ago, by wenzelm
more robust: resolve historic components via current tool to access current server;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
more parallelism;
18 months ago, by wenzelm
more robust ISABELLE_COMPONENT_REPOSITORY: use current value of managing process to avoid its fluctuation in ancient history;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
merged;
18 months ago, by wenzelm
Added tag Isabelle2021-RC5 for changeset a88dbf2a020f
18 months ago, by wenzelm
provide naproche-7d0947a91dd5;
18 months ago, by wenzelm
more complete solutions (amending 4d36070bdbf4);
18 months ago, by wenzelm
terminate faster (following dd9fc8a3036c);
18 months ago, by wenzelm
more robust: accommodate output lines produced by Scala "bash_process";
18 months ago, by wenzelm
updated for release;
18 months ago, by wenzelm
updated to flatlaf-1.0-rc3;
18 months ago, by wenzelm
more robust: allow YXML text;
18 months ago, by wenzelm
inherit ISABELLE_TMP from ML process, e.g. required for $AFP/Hello_World/RunningCodeFromIsabelle.thy;
18 months ago, by wenzelm
support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
18 months ago, by wenzelm
clarified modules: less redundancy;
18 months ago, by wenzelm
clarified modules: allow early invocation of Scala functions;
18 months ago, by wenzelm
clarified modules: allow early definition of protocol commands;
18 months ago, by wenzelm
clarified links to external files, e.g. .pdf within .thy source document;
18 months ago, by wenzelm
avoid interference with FlatLaf fonts, see also jEdit SVN 24885 'Updated Appearance option pane to allow setting "primary" and "secondary" fonts for all look and feels.' (daleanson 2018-08-30);
18 months ago, by wenzelm
updated to flatlaf-1.0-rc2;
18 months ago, by wenzelm
added lemmas
18 months ago, by nipkow
merged
18 months ago, by wenzelm
updated for release;
18 months ago, by wenzelm
Added tag Isabelle2021-RC4 for changeset 2ab14dbc6feb
18 months ago, by wenzelm
provide naproche-20210201;
18 months ago, by wenzelm
clarified messages;
18 months ago, by wenzelm
more parallel;
18 months ago, by wenzelm
more parallel;
18 months ago, by wenzelm
contributors
18 months ago, by Andreas Lochbihler
hide the internal abbreviations MR and MB
18 months ago, by Andreas Lochbihler
optimize RBT_Impl
18 months ago, by mraszyk
merged
18 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip