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
+3000
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.
avoid problems with launch4j and jdk-17;
20 months ago, by wenzelm
update to jdk-17+35 (LTS);
20 months ago, by wenzelm
tuned message;
20 months ago, by wenzelm
unused since 398b7bb9ebdd;
20 months ago, by wenzelm
merged
20 months ago, by desharna
removed checks for non-commercial usage of Vampire as it is now under BSD licence
20 months ago, by desharna
enabled FOOL for Vampire in Sledgehammer
20 months ago, by desharna
used Vampire 4.5.1 in Sledgehammer
20 months ago, by desharna
proper NEWS;
20 months ago, by wenzelm
tuned NEWS;
20 months ago, by wenzelm
clarified antiquotations;
20 months ago, by wenzelm
clarified antiquotations;
20 months ago, by wenzelm
clarified antiquotations;
20 months ago, by wenzelm
clarified partial application: immediate check of object-logic, and avoidance of context within closure;
20 months ago, by wenzelm
merged
20 months ago, by wenzelm
clarified antiquotations;
20 months ago, by wenzelm
ML antiquotations for object-logic judgment;
20 months ago, by wenzelm
proper Sign.const_typargs via Theory.add_deps_const/Theory.const_dep;
20 months ago, by wenzelm
clarified modules;
20 months ago, by wenzelm
clarified modules;
20 months ago, by wenzelm
more uniform syntax;
20 months ago, by wenzelm
permissive identification, e.g. relevant for HOL-SPARK examples running on rsync-clone;
20 months ago, by wenzelm
NEWS;
20 months ago, by wenzelm
bundle lattice_syntax / no_lattice_syntax supersedes theory HOL-Library.Lattice_Syntax;
20 months ago, by wenzelm
localized command 'syntax' and 'no_syntax';
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
merged
20 months ago, by desharna
proper constants in TPTP $let binding
20 months ago, by desharna
more operations from Isabelle/ML;
20 months ago, by wenzelm
merged
20 months ago, by wenzelm
tuned proofs --- eliminated 'guess';
20 months ago, by wenzelm
tuned proofs;
20 months ago, by wenzelm
clarified antiquotations;
20 months ago, by wenzelm
proper firstorderization in Sledgehammer
20 months ago, by desharna
clarified signature;
20 months ago, by wenzelm
clarified antiquotations;
20 months ago, by wenzelm
clarified signature -- prefer antiquotations (with subtle change of exception content);
20 months ago, by wenzelm
more control symbols;
20 months ago, by wenzelm
support ML antiquotations with fn abstraction;
20 months ago, by wenzelm
unused;
20 months ago, by wenzelm
clarified operations: follow Isabelle/ML more closely;
21 months ago, by wenzelm
provide current vampire-4.5.1: presently unused in Sledgehammer, but relevant for Isabelle/Naproche;
21 months ago, by wenzelm
obsolete;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
clarified name and options for old vampire-4.2.2;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
explicit predicate for confined bit range avoids cyclic rewriting in presence of extensionality rule for bit values (contributed by Thomas Sewell)
21 months ago, by haftmann
more latex macros;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
more antiquotations;
21 months ago, by wenzelm
more antiquotations;
21 months ago, by wenzelm
more antiquotations;
21 months ago, by wenzelm
more antiquotations;
21 months ago, by wenzelm
more antiquotations;
21 months ago, by wenzelm
clarified antiquotations;
21 months ago, by wenzelm
more antiquotations;
21 months ago, by wenzelm
more antiquotations;
21 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip