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.
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
clarified select_entity (again): it is meant as approximation to "refactoring" and thus only makes sense for defs within the same buffer;
18 months ago, by wenzelm
clarified caret focus modifier, depending on option "jedit_focus_modifier";
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
enabled FOOL for E
18 months ago, by desharna
merged
18 months ago, by desharna
tuned name generation in tptp to not depend on shadowing
18 months ago, by desharna
tuned lambda translation for fool
18 months ago, by desharna
generate unique variable names in tptp
18 months ago, by desharna
proper handling of true and false in tptp
18 months ago, by desharna
proper eta-expansion to avoid lambdas in tptp fool
19 months ago, by desharna
proper proxification for fool + refactoring
19 months ago, by desharna
proper renaming of THF_Lambda_Bool_Free
19 months ago, by desharna
proper parsing of type encoding;
19 months ago, by desharna
proper handling of builtins in TFX
19 months ago, by desharna
proper generation of TPTP output for higher order builtins
19 months ago, by desharna
tuned
18 months ago, by nipkow
merged
18 months ago, by Peter Lammich
removed redundant T_xxx_bound_aux lemmas
18 months ago, by Peter Lammich
don't generate not-fully-defined bit-vector constants in SMT problems
18 months ago, by Mathias Fleury
don't generate not-fully-defined bit vector constants in SMT problems
draft
18 months ago, by Mathias Fleury
don't generate not-fully-defined bit vector constants in SMT problems
draft
18 months ago, by Mathias Fleury
add option to specify spy file name
draft
18 months ago, by Mathias Fleury
improve and activate compression for veriT proof reconstruction
18 months ago, by Mathias Fleury
unused (see 29566b6810f7);
18 months ago, by wenzelm
proper argument --- amending 908d8be90533;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
clarified signature: more explicit types;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
tuned imports;
18 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip