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.
disable auto_nitpick for now: spurious problems with non-termination e.g. in HOL-Hoare examples;
18 months ago, by wenzelm
clarified modules: avoid multiple uses of the same ML file;
18 months ago, by wenzelm
clarified session: avoid merge of different syntax from different Hoare logics;
18 months ago, by wenzelm
clarified modules: avoid multiple uses of the same ML file;
18 months ago, by wenzelm
clarified syntax modes, avoid obsolete "xsymbols";
18 months ago, by wenzelm
clarified fonts, notably for Windows L&F;
18 months ago, by wenzelm
support jdk-15;
18 months ago, by wenzelm
more friendly desktop application on macOS;
18 months ago, by wenzelm
default simprule for geometric series
18 months ago, by paulson
tuned
18 months ago, by nipkow
less aggressive auto-build: avoid change of running jar;
18 months ago, by wenzelm
clarified window size;
18 months ago, by wenzelm
more robust Java monitor: avoid odd warning about insecure connection;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
clarified modules;
18 months ago, by wenzelm
clarified modules;
18 months ago, by wenzelm
misc tuning for release;
18 months ago, by wenzelm
rebuild component with proper ZIPPERPOSITION_HOME for sledgehammer;
18 months ago, by wenzelm
sort lines;
18 months ago, by wenzelm
provide zipperposition-2.0 for experimentation;
18 months ago, by wenzelm
merged
18 months ago, by desharna
tweaked tptp parsing when source info is missing
18 months ago, by desharna
tuned comments;
18 months ago, by wenzelm
merged
18 months ago, by wenzelm
proper relative path;
18 months ago, by wenzelm
unused;
18 months ago, by wenzelm
present auxiliary files with PIDE markup;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
tuned signature: more explicit types;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
clarified signature and module structure;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
clarified comments: file-system access is always unsynchronized;
18 months ago, by wenzelm
more precise simpset for method unat_arith
18 months ago, by haftmann
clarified scope of concept
18 months ago, by haftmann
clarified name
18 months ago, by haftmann
tuned;
18 months ago, by wenzelm
download auxiliary files via "curl";
18 months ago, by wenzelm
clarified markup: open URL as editor file;
18 months ago, by wenzelm
download as in Isabelle/Scala;
18 months ago, by wenzelm
more robust;
18 months ago, by wenzelm
improved markup for theory header imports;
18 months ago, by wenzelm
clarified markup (refining dd56ba1974e6);
18 months ago, by wenzelm
more documentation;
18 months ago, by wenzelm
merged
18 months ago, by Peter Lammich
tuned running time functions
18 months ago, by Peter Lammich
merged
18 months ago, by wenzelm
proper support for Windows/Cygwin;
18 months ago, by wenzelm
updated to zipperposition-2.0 and ocaml-4.07, which is required for it;
18 months ago, by wenzelm
more checks;
18 months ago, by wenzelm
merged
18 months ago, by Peter Lammich
simplified complexity proofs. Increased precision of T_del_min_bound. (though T_del_min might be be missing a +1)
18 months ago, by Peter Lammich
added missing +1 to T_insert (for function call)
18 months ago, by Peter Lammich
merged
18 months ago, by wenzelm
afford more reactive input;
18 months ago, by wenzelm
more NEWS;
18 months ago, by wenzelm
more documentation;
18 months ago, by wenzelm
added action isabelle.goto-entity to follow links in a narrow formal sense;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip