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 +1000 tip

more systematic treatment of encodings;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
extended the 'corec' format slightly
10 months ago, by blanchet
prefer 'xxx' to 'xxx.yyy' to 'xxx(2)' in Sledgehammer, to some extent
10 months ago, by blanchet
tuning
10 months ago, by blanchet
rephrase Nitpick constraint in more first-order format that's also more friendly to the 'box' option
10 months ago, by blanchet
correctly translate constructor argument in 'primrec'
10 months ago, by blanchet
simplified a few proofs
10 months ago, by paulson
revisited ac28714b7478: more faithful preplaying with chained facts
10 months ago, by blanchet
wait for E 2.7 before using 'ite' in HO mode
10 months ago, by blanchet
added alternative E binary name
10 months ago, by blanchet
parse logical operators in the right order w.r.t. backtracking
10 months ago, by blanchet
improved warning
10 months ago, by blanchet
adjusted E setup to avoid generating FOOL with 2.5 (where 'ite' is missing)
10 months ago, by blanchet
operations for symbolic computation of bit operations
10 months ago, by haftmann
proper local context
10 months ago, by haftmann
shasum for project meta-info;
10 months ago, by wenzelm
even more strict shasum (amending c9771e1b3223);
10 months ago, by wenzelm
clarified Isabelle meta-info within jar;
10 months ago, by wenzelm
strict shasum: this is used on input files;
10 months ago, by wenzelm
clarified modules;
10 months ago, by wenzelm
support for command-line operations;
10 months ago, by wenzelm
operations for all components;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
merged
10 months ago, by wenzelm
rebuild component;
10 months ago, by wenzelm
expand file paths, e.g. to allow $ISABELLE_HOME, $ISABELLE_HOME_USER;
10 months ago, by wenzelm
support expand_platform_path, which is reminiscent of isabelle.Path.expand;
10 months ago, by wenzelm
skip scalac for Java build;
10 months ago, by wenzelm
support mixed Scala/Java build;
10 months ago, by wenzelm
clarified javac options;
10 months ago, by wenzelm
clarified syntax: similar to URL;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
more robust;
10 months ago, by wenzelm
more robust;
10 months ago, by wenzelm
more compiler_deps via "requirements", notably jar list from settings;
10 months ago, by wenzelm
clarified component settings;
10 months ago, by wenzelm
clarified shasum: sources / resources within jar;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
clarified modules;
10 months ago, by wenzelm
merged
10 months ago, by desharna
fixed HOL-TPTP following f58108b7a60c
10 months ago, by desharna
documented Sledgehammer option "induction_rules"
10 months ago, by desharna
refactored Sledgehammer option "induction_rules"
10 months ago, by desharna
promoted "sledgehammer_instantiate_inducts" to proper option "induction_rules"
10 months ago, by desharna
jenkins: add pre/post-hook results for benchmark
10 months ago, by Fabian Huch
remove SpecCheck; it is now part of the AFP
10 months ago, by Kevin Kappelmann
merged
10 months ago, by desharna
added documentation for changes to Sledgehammer option "lam_trans"
10 months ago, by desharna
jenkins: pre/post-hook results
10 months ago, by Fabian Huch
merged
10 months ago, by desharna
added opaque_combs and renamed hide_lams to opaque_lifting
10 months ago, by desharna
more robust treatment of empty string;
10 months ago, by wenzelm
invoke Scala compiler from Java, without external process;
10 months ago, by wenzelm
clarified version: Apple now counts like 11, 12, ...;
10 months ago, by wenzelm
Imported lots of material from Stirling_Formula/Gamma_Asymptotics
10 months ago, by paulson
merged
10 months ago, by paulson
arg for the nonstandard complex numbers
10 months ago, by paulson
merged
10 months ago, by paulson
converting arg to Arg
10 months ago, by paulson

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

isabelle