isabelle: Graph

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

Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/SourceTreeTemp.14UUXO
2021-11-11, by paulson
A tiny bit of tidying connected with Zorn's Lemma
2021-11-09, by paulson
tuned;
2021-11-10, by wenzelm
tuned;
2021-11-10, by wenzelm
proper handling of Protocol.Export, using the payload from the message --- in contrast db_context.read_export materializes only later by a different thread (race condition);
2021-11-10, by wenzelm
revert temporary workaround 6d111935299c;
2021-11-10, by wenzelm
added lemma
2021-11-10, by nipkow
merged
2021-11-09, by nipkow
tuned attributes to avoid looping
2021-11-09, by nipkow
added eq_iff_swap for creating symmetric variants of thms; applied it in List.
2021-11-08, by nipkow
tuned text;
2021-11-09, by wenzelm
more robust timeout, following df4449c6eff1;
2021-11-09, by wenzelm
more accurate Files.isRegularFile, exclude directories (e.g. jar_path);
2021-11-09, by wenzelm
proper java_version for isabelle_setup;
2021-11-09, by wenzelm
explicit option metric_argo_timeout, with reasonable default for Raspberry Pi;
2021-11-08, by wenzelm
tuned;
2021-11-08, by wenzelm
repackage minisat-2.2.1 with cygwin1.dll: required to run the executable without existing Cygwin context (normally provided by bash_process);
2021-11-08, by wenzelm
discontinued redundant document_preprocessor: in the worst case, a plain-old document/build script will do;
2021-11-08, by wenzelm
clarified messages, depending on option "document_echo";
2021-11-08, by wenzelm
just one cache, via HTML_Context, via Sessions.Store or Session;
2021-11-08, by wenzelm
merged
2021-11-08, by paulson
new lemmas about convex, concave functions, + tidying
2021-11-07, by paulson
proper support for arm64;
2021-11-07, by wenzelm
no perl (amending 59ef23ac81ab);
2021-11-07, by wenzelm
merged
2021-11-07, by wenzelm
Added tag Isabelle2021-1-RC2 for changeset b92b5a57521b
2021-11-07, by wenzelm
merged
2021-11-07, by nipkow
Preserve variable name z in VAR {z = t}
2021-11-07, by nipkow
back to scala-2.13.5: avoid crash of Scala REPL on arm64-darwin;
2021-11-07, by wenzelm
updated to polyml-5.9-5d4caa8f7148, which also contains ARM64 on darwin (unused by default);
2021-11-07, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 tip

isabelle