Mercurial
Mercurial
>
hg
>
nominal2
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
help
less
more
|
(0)
-1000
-300
-100
-50
-30
+30
+50
+100
+300
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
some post-submission polishing
2010-06-21, by Christian Urban
added a few points that need to be looked at the next version of the qpaper
2010-06-21, by Christian Urban
eliminated a quot_thm flag
2010-06-21, by Christian Urban
fixed example
2010-06-20, by Christian Urban
small addition to the acknowledgement
2010-06-20, by Christian Urban
qpaper / address FIXMEs.
2010-06-17, by Cezary Kaliszyk
forgot to save
2010-06-17, by Cezary Kaliszyk
Fix regularization. Two "FIXME" left in introduction. Minor spellings.
2010-06-17, by Cezary Kaliszyk
polished everything and submitted
2010-06-17, by Christian Urban
conclusion done
2010-06-16, by Christian Urban
Answer questions in comments
2010-06-16, by Cezary Kaliszyk
tuned
2010-06-16, by Christian Urban
finished section 4, but put some things I do not understand on comment
2010-06-16, by Christian Urban
4 almost finished
2010-06-16, by Christian Urban
cleaned up definitions
2010-06-15, by Christian Urban
merge
2010-06-15, by Cezary Kaliszyk
qpaper/Rewrite section5
2010-06-15, by Cezary Kaliszyk
merged
2010-06-15, by Christian Urban
tuned everytinh up to section 4
2010-06-15, by Christian Urban
Definition of Respects.
2010-06-15, by Cezary Kaliszyk
conclusion
2010-06-15, by Cezary Kaliszyk
Qpaper / Clarify the typing system and composition of quotients issue.
2010-06-15, by Cezary Kaliszyk
Remove only reference to 'equivp'.
2010-06-15, by Cezary Kaliszyk
merge
2010-06-15, by Cezary Kaliszyk
qpaper/ackno
2010-06-15, by Cezary Kaliszyk
tuned
2010-06-15, by Christian Urban
qpaper
2010-06-15, by Cezary Kaliszyk
qpaper / hol4
2010-06-15, by Cezary Kaliszyk
qpaper/related work
2010-06-15, by Cezary Kaliszyk
finished preliminary section
2010-06-15, by Christian Urban
less
more
|
(0)
-1000
-300
-100
-50
-30
+30
+50
+100
+300
tip