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 -56 +56 +100 +300 +1000 +3000 tip

tuned generation of TPTP with $ite/$let in higher-order logics
2021-11-11, by desharna
tuned generation of TPTP with $ite in function position
2021-11-11, by desharna
tuned TPTP generation of If helper facts
2021-11-11, by desharna
merged
2021-11-11, by wenzelm
clarified signature: prefer static operations;
2021-11-11, by wenzelm
clarified signature: avoid potential misunderstanding of Resources.empty as proper Resources;
2021-11-11, by wenzelm
more robust;
2021-11-11, by wenzelm
tuned signature;
2021-11-11, by wenzelm
clarified signature: more explicit class Entity_Context with private state + operations;
2021-11-11, by wenzelm
more hyperlinks, notably internal fact references;
2021-11-11, by wenzelm
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
more precise URL
2021-11-07, by nipkow
tuned page breaks
2021-11-07, by nipkow
cover all possible kinds, notably for references outside of this theory (amending 129fb11b357f);
2021-11-06, by wenzelm
proper foundational order;
2021-11-06, by wenzelm
back to non-strict Export_Theory.read_theory (without warning): theories could have been skipped due to "condition";
2021-11-06, by wenzelm
use all entity kinds from theory export, e.g. "method", "attribute";
2021-11-06, by wenzelm
clarified signature;
2021-11-06, by wenzelm
clarified physical_ref;
2021-11-06, by wenzelm
proper treatment of session build hierarchy;
2021-11-06, by wenzelm
proper used_theories for session build hierarchy, not known_theories from imported sessions;
2021-11-06, by wenzelm
present theories from imported sessions as required;
2021-11-05, by wenzelm
avoid multiple copies of fonts;
2021-11-05, by wenzelm
more compact persistent data;
2021-11-05, by wenzelm
tuned;
2021-11-05, by wenzelm
proper term_cache;
2021-11-05, by wenzelm
prefer "NAME|KIND" format, as already used in Isabelle/MMT and Isabelle/Dedukti;
2021-11-05, by wenzelm

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

isabelle