Mercurial
Mercurial
>
repos
>
testboard
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Fri, 24 Sep 2021 11:04:18 +0000
apply declarations from interpretations in eigen context also
changeset
haftmann [Fri, 24 Sep 2021 11:04:18 +0000] rev 74727
apply declarations from interpretations in eigen context also
Fri, 24 Sep 2021 13:40:14 +0200
grant access to sun.tools.jconsole, as required for Java 17;
changeset
wenzelm [Fri, 24 Sep 2021 13:40:14 +0200] rev 74726
grant access to sun.tools.jconsole, as required for Java 17;
Fri, 24 Sep 2021 12:53:11 +0200
update to e-2.6, following Martin Desharnais;
changeset
wenzelm [Fri, 24 Sep 2021 12:53:11 +0200] rev 74725
update to e-2.6, following Martin Desharnais;
Mon, 27 Sep 2021 10:32:21 +0000
Fix eta-contraction issues and add proper tracing
draft
order-prover
changeset
Lukas Stevens <mail@lukas-stevens.de> [Mon, 27 Sep 2021 10:32:21 +0000] rev 74724
Fix eta-contraction issues and add proper tracing
Thu, 23 Sep 2021 18:18:36 +0200
Don't recurse more than one level for Not
draft
closure-solver
changeset
Lukas Stevens <mail@lukas-stevens.de> [Thu, 23 Sep 2021 18:18:36 +0200] rev 74723
Don't recurse more than one level for Not
Thu, 23 Sep 2021 16:17:59 +0000
Begin debugging failure in HOL-Analysis
draft
order-prover
changeset
Lukas Stevens <mail@lukas-stevens.de> [Thu, 23 Sep 2021 16:17:59 +0000] rev 74722
Begin debugging failure in HOL-Analysis
Thu, 23 Sep 2021 14:55:40 +0200
merged;
draft
order-prover
changeset
Lukas Stevens <mail@lukas-stevens.de> [Thu, 23 Sep 2021 14:55:40 +0200] rev 74721
merged;
Thu, 23 Sep 2021 14:42:15 +0200
merged;
draft
changeset
Lukas Stevens <mail@lukas-stevens.de> [Thu, 23 Sep 2021 14:42:15 +0200] rev 74720
merged;
Thu, 23 Sep 2021 14:41:35 +0200
Add empty line
draft
closure-solver
changeset
Lukas Stevens <mail@lukas-stevens.de> [Thu, 23 Sep 2021 14:41:35 +0200] rev 74719
Add empty line
Thu, 23 Sep 2021 14:27:33 +0200
merged;
closure-solver
changeset
Lukas Stevens <mail@lukas-stevens.de> [Thu, 23 Sep 2021 14:27:33 +0200] rev 74718
merged;
(0)
-30000
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
tip