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 -60 +60 +100 +300 tip

merged
6 months ago, by wenzelm
updated to polyml-5.9-cc80e2b43c38, which also contains ARM64 on darwin (unused by default);
6 months ago, by wenzelm
clarified HTML_Context: more explicit directory structure;
6 months ago, by wenzelm
tuned comments;
6 months ago, by wenzelm
tuned;
6 months ago, by wenzelm
clarified signature;
6 months ago, by wenzelm
clarified properties: avoid empty entry;
6 months ago, by wenzelm
tuned signature;
6 months ago, by wenzelm
merged
6 months ago, by nipkow
tuned (thanks to J. Villadsen)
6 months ago, by nipkow
added padding to Mirabelle's output
6 months ago, by desharna
merged
6 months ago, by desharna
tuned generation of TPTP with $ite/$let in higher-order logics
6 months ago, by desharna
tuned generation of TPTP with $ite in function position
6 months ago, by desharna
tuned TPTP generation of If helper facts
6 months ago, by desharna
merged
6 months ago, by wenzelm
clarified signature: prefer static operations;
6 months ago, by wenzelm
clarified signature: avoid potential misunderstanding of Resources.empty as proper Resources;
6 months ago, by wenzelm
more robust;
6 months ago, by wenzelm
tuned signature;
6 months ago, by wenzelm
clarified signature: more explicit class Entity_Context with private state + operations;
6 months ago, by wenzelm
more hyperlinks, notably internal fact references;
6 months ago, by wenzelm
Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/SourceTreeTemp.14UUXO
6 months ago, by paulson
A tiny bit of tidying connected with Zorn's Lemma
6 months ago, by paulson
tuned;
6 months ago, by wenzelm
tuned;
6 months ago, 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);
6 months ago, by wenzelm
revert temporary workaround 6d111935299c;
6 months ago, by wenzelm
added lemma
6 months ago, by nipkow
merged
6 months ago, by nipkow
tuned attributes to avoid looping
6 months ago, by nipkow
added eq_iff_swap for creating symmetric variants of thms; applied it in List.
6 months ago, by nipkow
tuned text;
6 months ago, by wenzelm
more robust timeout, following df4449c6eff1;
6 months ago, by wenzelm
more accurate Files.isRegularFile, exclude directories (e.g. jar_path);
6 months ago, by wenzelm
proper java_version for isabelle_setup;
6 months ago, by wenzelm
explicit option metric_argo_timeout, with reasonable default for Raspberry Pi;
6 months ago, by wenzelm
tuned;
6 months ago, by wenzelm
repackage minisat-2.2.1 with cygwin1.dll: required to run the executable without existing Cygwin context (normally provided by bash_process);
6 months ago, by wenzelm
discontinued redundant document_preprocessor: in the worst case, a plain-old document/build script will do;
6 months ago, by wenzelm
clarified messages, depending on option "document_echo";
6 months ago, by wenzelm
just one cache, via HTML_Context, via Sessions.Store or Session;
6 months ago, by wenzelm
merged
6 months ago, by paulson
new lemmas about convex, concave functions, + tidying
6 months ago, by paulson
proper support for arm64;
6 months ago, by wenzelm
no perl (amending 59ef23ac81ab);
6 months ago, by wenzelm
merged
6 months ago, by wenzelm
Added tag Isabelle2021-1-RC2 for changeset b92b5a57521b
6 months ago, by wenzelm
merged
6 months ago, by nipkow
Preserve variable name z in VAR {z = t}
6 months ago, by nipkow
back to scala-2.13.5: avoid crash of Scala REPL on arm64-darwin;
6 months ago, by wenzelm
updated to polyml-5.9-5d4caa8f7148, which also contains ARM64 on darwin (unused by default);
6 months ago, by wenzelm
more precise URL
6 months ago, by nipkow
tuned page breaks
6 months ago, by nipkow
cover all possible kinds, notably for references outside of this theory (amending 129fb11b357f);
6 months ago, by wenzelm
proper foundational order;
6 months ago, by wenzelm
back to non-strict Export_Theory.read_theory (without warning): theories could have been skipped due to "condition";
6 months ago, by wenzelm
use all entity kinds from theory export, e.g. "method", "attribute";
6 months ago, by wenzelm
clarified signature;
6 months ago, by wenzelm
clarified physical_ref;
6 months ago, by wenzelm

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

isabelle