Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
+3000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Thu, 10 Dec 2020 15:48:07 +0100
generate unique variable names in tptp
changeset
desharna [Thu, 10 Dec 2020 15:48:07 +0100] rev 72920
generate unique variable names in tptp
Thu, 10 Dec 2020 13:49:49 +0100
proper handling of true and false in tptp
changeset
desharna [Thu, 10 Dec 2020 13:49:49 +0100] rev 72919
proper handling of true and false in tptp
Thu, 03 Dec 2020 18:27:24 +0100
proper eta-expansion to avoid lambdas in tptp fool
changeset
desharna [Thu, 03 Dec 2020 18:27:24 +0100] rev 72918
proper eta-expansion to avoid lambdas in tptp fool
Thu, 03 Dec 2020 17:40:31 +0100
proper proxification for fool + refactoring
changeset
desharna [Thu, 03 Dec 2020 17:40:31 +0100] rev 72917
proper proxification for fool + refactoring
Thu, 03 Dec 2020 11:08:54 +0100
proper renaming of THF_Lambda_Bool_Free
changeset
desharna [Thu, 03 Dec 2020 11:08:54 +0100] rev 72916
proper renaming of THF_Lambda_Bool_Free
Thu, 26 Nov 2020 18:45:19 +0100
proper parsing of type encoding;
changeset
desharna [Thu, 26 Nov 2020 18:45:19 +0100] rev 72915
proper parsing of type encoding; tuned naming
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
+3000
tip