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
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.
Added tag Isabelle2023 for changeset b5f3d1051b13
16 months ago, by wenzelm
tuned;
Isabelle2023
16 months ago, by wenzelm
misc tuning;
16 months ago, by wenzelm
documentation for the "Document" panel in Isabelle/jEdit;
16 months ago, by wenzelm
Loads of new material related to porting the Euler Polyhedron Formula from HOL Light
16 months ago, by paulson
merged
16 months ago, by paulson
merged
16 months ago, by paulson
tidying up old apply-style proofs
16 months ago, by paulson
allow higher-order unification of open terms (reviewed by Larry Paulson)
16 months ago, by Kevin Kappelmann
merged
16 months ago, by wenzelm
clarified signature: retain original Poly/ML names Thread.Thread, Thread.Mutex, Thread.ConditionVar and de-emphasize them for Isabelle/ML;
16 months ago, by wenzelm
add ML_system_pp for type Isabelle_Thread.T;
16 months ago, by wenzelm
more explicit type Isabelle_Thread.T;
16 months ago, by wenzelm
discontinue somewhat pointless thread tracing/debugging: without PIDE command context, messages are not shown, and Exn.trace hardly works anyway (see also de20fccf6509 and 447972249785);
16 months ago, by wenzelm
tuned whitespace;
16 months ago, by wenzelm
tuned Sledgehammer messages
16 months ago, by blanchet
respect timeout better
16 months ago, by blanchet
merged
16 months ago, by wenzelm
Added tag Isabelle2023-RC5 for changeset ffa417b5c913
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
tuned messages;
16 months ago, by wenzelm
proper stop of build_process shutdown, despite errors on workers;
16 months ago, by wenzelm
prefer quiet mode: potentially more robust ssh connection, e.g. when master closes;
16 months ago, by wenzelm
support "isabelle build_worker -q";
16 months ago, by wenzelm
support "isabelle build_process -r -f";
16 months ago, by wenzelm
clarified signature;
16 months ago, by wenzelm
clarified output;
16 months ago, by wenzelm
clarified signature;
16 months ago, by wenzelm
clarified signature: removed ununsed option;
16 months ago, by wenzelm
tuned message;
16 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
tip