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.
clarified signature and module structure;
17 months ago, by wenzelm
tuned signature;
17 months ago, by wenzelm
clarified comments: file-system access is always unsynchronized;
17 months ago, by wenzelm
more precise simpset for method unat_arith
17 months ago, by haftmann
clarified scope of concept
17 months ago, by haftmann
clarified name
17 months ago, by haftmann
tuned;
17 months ago, by wenzelm
download auxiliary files via "curl";
17 months ago, by wenzelm
clarified markup: open URL as editor file;
17 months ago, by wenzelm
download as in Isabelle/Scala;
17 months ago, by wenzelm
more robust;
17 months ago, by wenzelm
improved markup for theory header imports;
17 months ago, by wenzelm
clarified markup (refining dd56ba1974e6);
17 months ago, by wenzelm
more documentation;
17 months ago, by wenzelm
merged
17 months ago, by Peter Lammich
tuned running time functions
17 months ago, by Peter Lammich
merged
17 months ago, by wenzelm
proper support for Windows/Cygwin;
17 months ago, by wenzelm
updated to zipperposition-2.0 and ocaml-4.07, which is required for it;
17 months ago, by wenzelm
more checks;
17 months ago, by wenzelm
merged
17 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)
17 months ago, by Peter Lammich
added missing +1 to T_insert (for function call)
17 months ago, by Peter Lammich
merged
17 months ago, by wenzelm
afford more reactive input;
17 months ago, by wenzelm
more NEWS;
17 months ago, by wenzelm
more documentation;
17 months ago, by wenzelm
added action isabelle.goto-entity to follow links in a narrow formal sense;
17 months ago, by wenzelm
tuned signature;
17 months ago, by wenzelm
clarified select_entity (again): it is meant as approximation to "refactoring" and thus only makes sense for defs within the same buffer;
17 months ago, by wenzelm
clarified caret focus modifier, depending on option "jedit_focus_modifier";
17 months ago, by wenzelm
tuned;
17 months ago, by wenzelm
tuned;
17 months ago, by wenzelm
enabled FOOL for E
17 months ago, by desharna
merged
17 months ago, by desharna
tuned name generation in tptp to not depend on shadowing
17 months ago, by desharna
tuned lambda translation for fool
17 months ago, by desharna
generate unique variable names in tptp
17 months ago, by desharna
proper handling of true and false in tptp
17 months ago, by desharna
proper eta-expansion to avoid lambdas in tptp fool
17 months ago, by desharna
proper proxification for fool + refactoring
17 months ago, by desharna
proper renaming of THF_Lambda_Bool_Free
17 months ago, by desharna
proper parsing of type encoding;
17 months ago, by desharna
proper handling of builtins in TFX
17 months ago, by desharna
proper generation of TPTP output for higher order builtins
17 months ago, by desharna
tuned
17 months ago, by nipkow
merged
17 months ago, by Peter Lammich
removed redundant T_xxx_bound_aux lemmas
17 months ago, by Peter Lammich
don't generate not-fully-defined bit-vector constants in SMT problems
17 months ago, by Mathias Fleury
don't generate not-fully-defined bit vector constants in SMT problems
draft
17 months ago, by Mathias Fleury
don't generate not-fully-defined bit vector constants in SMT problems
draft
17 months ago, by Mathias Fleury
add option to specify spy file name
draft
17 months ago, by Mathias Fleury
improve and activate compression for veriT proof reconstruction
17 months ago, by Mathias Fleury
unused (see 29566b6810f7);
17 months ago, by wenzelm
proper argument --- amending 908d8be90533;
17 months ago, by wenzelm
tuned;
17 months ago, by wenzelm
tuned signature;
17 months ago, by wenzelm
tuned signature;
17 months ago, by wenzelm
tuned signature;
17 months ago, by wenzelm
tuned signature;
17 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip