Mercurial
Mercurial
>
hg
>
nominal2
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-300
-100
-10
+10
+100
+300
+1000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Tue, 24 Nov 2009 15:18:00 +0100
Fixes to the tactic after quotient_tac changed.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 24 Nov 2009 15:18:00 +0100] rev 364
Fixes to the tactic after quotient_tac changed.
Tue, 24 Nov 2009 15:15:33 +0100
merged
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 24 Nov 2009 15:15:33 +0100] rev 363
merged
Tue, 24 Nov 2009 15:15:10 +0100
added a prepare_tac
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 24 Nov 2009 15:15:10 +0100] rev 362
added a prepare_tac
Tue, 24 Nov 2009 14:41:47 +0100
TRY' for clean_tac
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 24 Nov 2009 14:41:47 +0100] rev 361
TRY' for clean_tac
Tue, 24 Nov 2009 14:19:54 +0100
Moved cleaning to QuotMain
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 24 Nov 2009 14:19:54 +0100] rev 360
Moved cleaning to QuotMain
Tue, 24 Nov 2009 14:16:57 +0100
New cleaning tactic
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 24 Nov 2009 14:16:57 +0100] rev 359
New cleaning tactic
Tue, 24 Nov 2009 13:46:36 +0100
explicit phases for the cleaning
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 24 Nov 2009 13:46:36 +0100] rev 358
explicit phases for the cleaning
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
(0)
-300
-100
-10
+10
+100
+300
+1000
tip