Mercurial
Mercurial
>
hg
>
nominal2
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-300
-100
-30
-10
-4
+4
+10
+30
+100
+300
+1000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Tue, 24 Nov 2009 08:36:28 +0100
Another theorem for which the new regularize differs from old one, so the goal is not proved. But it seems, that the new one is better.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 24 Nov 2009 08:36:28 +0100] rev 356
Another theorem for which the new regularize differs from old one, so the goal is not proved. But it seems, that the new one is better.
Tue, 24 Nov 2009 08:35:04 +0100
More fixes for inj_REPABS
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 24 Nov 2009 08:35:04 +0100] rev 355
More fixes for inj_REPABS
Tue, 24 Nov 2009 01:36:50 +0100
addded a tactic, which sets up the three goals of the `algorithm'
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 24 Nov 2009 01:36:50 +0100] rev 354
addded a tactic, which sets up the three goals of the `algorithm'
Mon, 23 Nov 2009 23:09:03 +0100
fixed the error by a temporary fix (the data of the eqivalence relation should be only its name)
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 23 Nov 2009 23:09:03 +0100] rev 353
fixed the error by a temporary fix (the data of the eqivalence relation should be only its name)
(0)
-300
-100
-30
-10
-4
+4
+10
+30
+100
+300
+1000
tip