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 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
18 months ago, by desharna
proper proxification for fool + refactoring
18 months ago, by desharna
proper renaming of THF_Lambda_Bool_Free
18 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
tuned messages;
18 months ago, by wenzelm
minor updates on look-and-feel;
18 months ago, by wenzelm
update on platforms;
18 months ago, by wenzelm
updated "macOS" terminology: current Big Sur is already version 11;
18 months ago, by wenzelm
updated test machines;
18 months ago, by wenzelm
full PIDE reports in batch build: see how it impacts overall performance;
18 months ago, by wenzelm
purge build dir;
18 months ago, by wenzelm
parallel jobs for make;
18 months ago, by wenzelm
back to uniform build, using latest repository version for vampire_polymorphic;
18 months ago, by wenzelm
prefer cmake build for standard version: more portable;
18 months ago, by wenzelm
clarified default name;
18 months ago, by wenzelm
build Isabelle Vampire component from repository;
18 months ago, by wenzelm
accommodate OpenJDK 15;
18 months ago, by wenzelm
merged
18 months ago, by nipkow
tuned
18 months ago, by nipkow
more informative error;
18 months ago, by wenzelm
proper else statement;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
clarified session log file: avoid erratic messages;
18 months ago, by wenzelm
clarified messages;
18 months ago, by wenzelm
clarified messages;
18 months ago, by wenzelm
NEWS and documentation for "isabelle log";
18 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip