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
+10000
+30000
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.
rebinding ref is illegal
2010-07-29, by haftmann
tuned example
2010-07-29, by haftmann
intermediate operation avoids invariance problem in Scala
2010-07-29, by haftmann
merged
2010-07-29, by blanchet
kill polymorphic "val"s
2010-07-29, by blanchet
improved ATP error handling some more
2010-07-29, by blanchet
shorter URL
2010-07-29, by blanchet
mention version numbers
2010-07-28, by blanchet
fiddled with usage text
2010-07-28, by blanchet
handle Perl and "libwww-perl" failures more gracefully, giving the user some clues about what goes on
2010-07-28, by blanchet
merged
2010-07-29, by haftmann
tuned printing of applications and let cascades
2010-07-29, by haftmann
checking Scala_imp
2010-07-29, by haftmann
proper unit type in transformed program
2010-07-29, by haftmann
merged
2010-07-29, by haftmann
merged
2010-07-28, by haftmann
tuned; added pretty numerals for code generation
2010-07-28, by haftmann
may use `int` in Isabelle runtime environment
2010-07-28, by haftmann
dropped dead code
2010-07-28, by haftmann
merged
2010-07-28, by blanchet
make Mirabelle happy
2010-07-28, by blanchet
renamed environment variable
2010-07-28, by blanchet
updated component name
2010-07-28, by blanchet
consequence of directory renaming
2010-07-28, by blanchet
rename directory
2010-07-28, by blanchet
minor refactoring
2010-07-28, by blanchet
minor refactoring
2010-07-28, by blanchet
updated Sledgehammer docs
2010-07-28, by blanchet
remove needless "-x" option, now that (1) we can't handle remote SPASS anymore; and (2) we can a priori parse the SPASS syntax in "Sledgehammer_Proof_Reconstruct" anyway
2010-07-28, by blanchet
remove "remote_spass" because there's no way to find out which clauses come from which facts + rename scripts
2010-07-28, by blanchet
fix bug in the SPASS Flotter hack, when a conjecture FOF is translated to several CNF clauses
2010-07-28, by blanchet
revive "e" and "remote_e"'s fact extraction so that it works with E 1.2 as well;
2010-07-28, by blanchet
more robust proof reconstruction
2010-07-28, by blanchet
adapt to new (?) TPTP output
2010-07-28, by blanchet
fix remote_vampire's proof reconstruction
2010-07-28, by blanchet
fix proof reconstruction for latest Vampire
2010-07-28, by blanchet
renaming
2010-07-28, by blanchet
support latest version of Vampire (1.0) locally
2010-07-28, by blanchet
improve detection of installed SPASS
2010-07-28, by blanchet
merged
2010-07-28, by wenzelm
merge
2010-07-27, by blanchet
compile
2010-07-27, by blanchet
minor refactoring
2010-07-27, by blanchet
standardize "Author" tags
2010-07-27, by blanchet
remove unused fun
2010-07-27, by blanchet
reorder ML files in theory
2010-07-27, by blanchet
get rid of "FOLClause" (obsoleted by FOF-enabled "FOLFormula")
2010-07-27, by blanchet
more refactoring
2010-07-27, by blanchet
kill needless tracing
2010-07-27, by blanchet
rename "ATP_Manager" ML module to "Sledgehammer";
2010-07-27, by blanchet
rename
2010-07-27, by blanchet
complete renaming of "Sledgehammer_TPTP_Format" to "ATP_Problem"
2010-07-27, by blanchet
renamed file
2010-07-27, by blanchet
move Sledgehammer-specific code out of "Sledgehammer_TPTP_Format"
2010-07-27, by blanchet
get rid of more dead wood
2010-07-27, by blanchet
implemented "sublinear" minimization algorithm
2010-07-27, by blanchet
extract sort constraints from FOFs properly;
2010-07-27, by blanchet
merged
2010-07-27, by haftmann
delete structure Basic_Record; avoid `record` in names in structure Record
2010-07-27, by haftmann
no polymorphic "var"
2010-07-27, by blanchet
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip