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
+3000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
support for command-line operations;
20 months ago, by wenzelm
operations for all components;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
merged
20 months ago, by wenzelm
rebuild component;
20 months ago, by wenzelm
expand file paths, e.g. to allow $ISABELLE_HOME, $ISABELLE_HOME_USER;
20 months ago, by wenzelm
support expand_platform_path, which is reminiscent of isabelle.Path.expand;
20 months ago, by wenzelm
skip scalac for Java build;
20 months ago, by wenzelm
support mixed Scala/Java build;
20 months ago, by wenzelm
clarified javac options;
20 months ago, by wenzelm
clarified syntax: similar to URL;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
more robust;
20 months ago, by wenzelm
more robust;
20 months ago, by wenzelm
more compiler_deps via "requirements", notably jar list from settings;
20 months ago, by wenzelm
clarified component settings;
20 months ago, by wenzelm
clarified shasum: sources / resources within jar;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
clarified modules;
20 months ago, by wenzelm
merged
20 months ago, by desharna
fixed HOL-TPTP following f58108b7a60c
20 months ago, by desharna
documented Sledgehammer option "induction_rules"
20 months ago, by desharna
refactored Sledgehammer option "induction_rules"
20 months ago, by desharna
promoted "sledgehammer_instantiate_inducts" to proper option "induction_rules"
20 months ago, by desharna
jenkins: add pre/post-hook results for benchmark
20 months ago, by Fabian Huch
remove SpecCheck; it is now part of the AFP
20 months ago, by Kevin Kappelmann
merged
20 months ago, by desharna
added documentation for changes to Sledgehammer option "lam_trans"
20 months ago, by desharna
jenkins: pre/post-hook results
20 months ago, by Fabian Huch
merged
20 months ago, by desharna
added opaque_combs and renamed hide_lams to opaque_lifting
20 months ago, by desharna
more robust treatment of empty string;
20 months ago, by wenzelm
invoke Scala compiler from Java, without external process;
20 months ago, by wenzelm
clarified version: Apple now counts like 11, 12, ...;
21 months ago, by wenzelm
Imported lots of material from Stirling_Formula/Gamma_Asymptotics
21 months ago, by paulson
merged
21 months ago, by paulson
arg for the nonstandard complex numbers
21 months ago, by paulson
merged
21 months ago, by paulson
converting arg to Arg
21 months ago, by paulson
just a bit of tidying up
21 months ago, by paulson
create jar in pure Java;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
clarified order;
21 months ago, by wenzelm
proper treatment of leading zero;
21 months ago, by wenzelm
support for jar resources;
21 months ago, by wenzelm
tuned whitespace;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
support for Isabelle/Scala in pure Java;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
clarified directories;
21 months ago, by wenzelm
clarified modules and signatures;
21 months ago, by wenzelm
back to scala-2.13.5: avoid problems with history in scala REPL;
21 months ago, by wenzelm
tuned imports;
21 months ago, by wenzelm
merged
21 months ago, by wenzelm
clarified Isabelle/Java/Scala project setup;
21 months ago, by wenzelm
support for Isabelle setup in pure Java;
21 months ago, by wenzelm
tuned: prefer Java interfaces;
21 months ago, by wenzelm
clarified package: towards stand-alone setup;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip