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

shasum for project meta-info;
2021-07-11, by wenzelm
even more strict shasum (amending c9771e1b3223);
2021-07-11, by wenzelm
clarified Isabelle meta-info within jar;
2021-07-11, by wenzelm
strict shasum: this is used on input files;
2021-07-11, by wenzelm
clarified modules;
2021-07-11, by wenzelm
support for command-line operations;
2021-07-11, by wenzelm
operations for all components;
2021-07-11, by wenzelm
clarified signature;
2021-07-11, by wenzelm
merged
2021-07-09, by wenzelm
rebuild component;
2021-07-09, by wenzelm
expand file paths, e.g. to allow $ISABELLE_HOME, $ISABELLE_HOME_USER;
2021-07-09, by wenzelm
support expand_platform_path, which is reminiscent of isabelle.Path.expand;
2021-07-09, by wenzelm
skip scalac for Java build;
2021-07-09, by wenzelm
support mixed Scala/Java build;
2021-07-09, by wenzelm
clarified javac options;
2021-07-09, by wenzelm
clarified syntax: similar to URL;
2021-07-09, by wenzelm
clarified signature;
2021-07-09, by wenzelm
more robust;
2021-07-08, by wenzelm
more robust;
2021-07-08, by wenzelm
more compiler_deps via "requirements", notably jar list from settings;
2021-07-08, by wenzelm
clarified component settings;
2021-07-08, by wenzelm
clarified shasum: sources / resources within jar;
2021-07-08, by wenzelm
tuned signature;
2021-07-08, by wenzelm
clarified modules;
2021-07-08, by wenzelm
merged
2021-07-09, by desharna
fixed HOL-TPTP following f58108b7a60c
2021-07-09, by desharna
documented Sledgehammer option "induction_rules"
2021-07-08, by desharna
refactored Sledgehammer option "induction_rules"
2021-07-08, by desharna
promoted "sledgehammer_instantiate_inducts" to proper option "induction_rules"
2021-07-08, by desharna
jenkins: add pre/post-hook results for benchmark
2021-07-09, by Fabian Huch

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

isabelle