Mercurial
Mercurial
>
hg
>
nominal2
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-300
-100
-30
-10
-7
+7
+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 12:25:04 +0100
Separate regularize_tac
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 24 Nov 2009 12:25:04 +0100] rev 357
Separate regularize_tac
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)
Mon, 23 Nov 2009 22:00:54 +0100
merged
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 23 Nov 2009 22:00:54 +0100] rev 352
merged
Mon, 23 Nov 2009 21:59:57 +0100
tuned some comments
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 23 Nov 2009 21:59:57 +0100] rev 351
tuned some comments
(0)
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
tip