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
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.
more operations;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
organize syntax for word operations in bundles
12 months ago, by haftmann
support for Lazy.Text;
12 months ago, by wenzelm
prefer compact Isabelle.Bytes;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
clarified signature --- more operations;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
clarified order of modules;
12 months ago, by wenzelm
more operations;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
tuned signature;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
merged
12 months ago, by wenzelm
prefer Isabelle.Bytes, based on ShortByteString;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
tuned signature;
12 months ago, by wenzelm
tuned signature: more generic operations;
12 months ago, by wenzelm
prefer UTF8 implementation from Data.Text.Encoding (foreign C);
12 months ago, by wenzelm
documented Mirabelle_Sledgehammer's new keep semantics
12 months ago, by desharna
changed Mirabelle_Sledgehammer keep option from path to boolean
12 months ago, by desharna
added automatic uniform stride option to Mirabelle
12 months ago, by desharna
fixed HOL-ex following a5bab59d580b
12 months ago, by desharna
added support for TFX $let to Sledgehammer's TPTP output
12 months ago, by desharna
merged
12 months ago, by desharna
fixed TFX generation when universal quantifier is used as term
12 months ago, by desharna
merged
12 months ago, by wenzelm
various improvements of "isabelle scala_project";
12 months ago, by wenzelm
support for native symlinks on Windows;
12 months ago, by wenzelm
tuned Mirabelle's theory selection
12 months ago, by desharna
clarified signature;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
updated for Isabelle2021 release;
12 months ago, by wenzelm
back to stackage lts-17.10, to make this work on vmnipkow9 (Windows Server 2012 R2);
12 months ago, by wenzelm
update to Haskell stack-2.7.3 and stackage lts-17.15;
12 months ago, by wenzelm
clarified version: Apple now counts like 11, 12, ...;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
clarified compiler output: allow multithreaded execution;
12 months ago, by wenzelm
clarified signature: more operations;
12 months ago, by wenzelm
clarified props: more permissive;
12 months ago, by wenzelm
more robust;
12 months ago, by wenzelm
clarified properties: "module" and "no_build";
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
tuned comments;
12 months ago, by wenzelm
tuned document;
12 months ago, by wenzelm
clarified names (again), e.g. relevant for "Plugin Options";
12 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
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip