Mercurial
Mercurial
>
repos
>
testboard
/ 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
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.
back to stackage lts-17.10, to make this work on vmnipkow9 (Windows Server 2012 R2);
13 months ago, by wenzelm
update to Haskell stack-2.7.3 and stackage lts-17.15;
13 months ago, by wenzelm
clarified version: Apple now counts like 11, 12, ...;
13 months ago, by wenzelm
clarified signature;
13 months ago, by wenzelm
clarified compiler output: allow multithreaded execution;
13 months ago, by wenzelm
clarified signature: more operations;
13 months ago, by wenzelm
clarified props: more permissive;
13 months ago, by wenzelm
more robust;
13 months ago, by wenzelm
clarified properties: "module" and "no_build";
13 months ago, by wenzelm
clarified signature;
13 months ago, by wenzelm
clarified signature;
13 months ago, by wenzelm
tuned comments;
13 months ago, by wenzelm
tuned document;
13 months ago, by wenzelm
clarified names (again), e.g. relevant for "Plugin Options";
13 months ago, by wenzelm
added simp_options to meson
13 months ago, by desharna
tuning
13 months ago, by blanchet
parse TPTP operator @ also when not parenthesized
13 months ago, by blanchet
removed setup for outdated CVC3 from Isabelle
13 months ago, by blanchet
tuned E's lambda encoding
13 months ago, by blanchet
use Vampire's clausifier with iProver, now that E's is no longer supported
13 months ago, by blanchet
updated Sledgehammer docs -- removed most version numbers since these are tedious to maintain
13 months ago, by blanchet
compile
13 months ago, by blanchet
tuned;
13 months ago, by wenzelm
NEWS;
13 months ago, by wenzelm
updated documentation on Isabelle/Scala;
13 months ago, by wenzelm
discontinued obsolete Apple (deprecated);
13 months ago, by wenzelm
clarified component setup: exclude jar from active component, but use sources from template within ISABELLE_HOME (relevant for "isabelle scala_project -L");
13 months ago, by wenzelm
more robust "isabelle build_scala" as separate tool;
13 months ago, by wenzelm
tuned --- based on hints by IntelliJ IDEA;
13 months ago, by wenzelm
more robust: avoid -D ~~/AFP/thys after crash of AFP.init (notably in AFP/1001c0dfced0);
13 months ago, by wenzelm
more portable across history;
13 months ago, by wenzelm
proper isabelle.setup.Setup build;
13 months ago, by wenzelm
rebuild component;
13 months ago, by wenzelm
more complete scala_project, including Isabelle/jEdit plugins;
13 months ago, by wenzelm
clarified directories;
13 months ago, by wenzelm
more accurate scala_project, based on build.props of components;
13 months ago, by wenzelm
clarified build_props: empty module means no build;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
CONTRIBUTORS
13 months ago, by haftmann
merged
13 months ago, by wenzelm
more robust;
13 months ago, by wenzelm
rebuild component;
13 months ago, by wenzelm
more robust: for the sake of Isabelle.app on macOS;
13 months ago, by wenzelm
more robust;
13 months ago, by wenzelm
more robust;
13 months ago, by wenzelm
more robust;
13 months ago, by wenzelm
rebuild component;
13 months ago, by wenzelm
more informative errors: capture low-level compiler output;
13 months ago, by wenzelm
more direct isabelle_scala_build: always enabled, no "Admin" requirement;
13 months ago, by wenzelm
tuned --- fewer warnings;
13 months ago, by wenzelm
clarified names;
13 months ago, by wenzelm
tuned --- fewer warnings;
13 months ago, by wenzelm
clarified directory;
13 months ago, by wenzelm
clarified names;
13 months ago, by wenzelm
clarified component setup for old graph browser;
13 months ago, by wenzelm
redundant: *.class and *.jar are already ignored;
13 months ago, by wenzelm
proper cat_lines: avoid last "\n";
13 months ago, by wenzelm
merged
13 months ago, by paulson
removed support for experimental Pirate prover
13 months ago, by blanchet
get rid of remote_vampire since it's hard, if possible at all, to follow Vampire's online options
13 months ago, by blanchet
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip