Mercurial
Mercurial
>
hg
>
nominal2
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
-100
-50
-24
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Quotient-Paper/Paper.thy
2010-06-23
Christian Urban
even further polishing of the qpaper
file
|
diff
|
annotate
2010-06-23
Christian Urban
polished paper again (and took out some claims about Homeier's package)
file
|
diff
|
annotate
2010-06-21
Christian Urban
further post-submission tuning
file
|
diff
|
annotate
2010-06-21
Christian Urban
some post-submission polishing
file
|
diff
|
annotate
2010-06-20
Christian Urban
added a few points that need to be looked at the next version of the qpaper
file
|
diff
|
annotate
2010-06-20
Christian Urban
small addition to the acknowledgement
file
|
diff
|
annotate
2010-06-17
Cezary Kaliszyk
qpaper / address FIXMEs.
file
|
diff
|
annotate
2010-06-17
Cezary Kaliszyk
forgot to save
file
|
diff
|
annotate
2010-06-17
Cezary Kaliszyk
Fix regularization. Two "FIXME" left in introduction. Minor spellings.
file
|
diff
|
annotate
2010-06-16
Christian Urban
polished everything and submitted
file
|
diff
|
annotate
2010-06-16
Christian Urban
conclusion done
file
|
diff
|
annotate
2010-06-16
Cezary Kaliszyk
Answer questions in comments
file
|
diff
|
annotate
2010-06-16
Christian Urban
tuned
file
|
diff
|
annotate
2010-06-16
Christian Urban
finished section 4, but put some things I do not understand on comment
file
|
diff
|
annotate
2010-06-16
Christian Urban
4 almost finished
file
|
diff
|
annotate
2010-06-15
Christian Urban
cleaned up definitions
file
|
diff
|
annotate
2010-06-15
Cezary Kaliszyk
merge
file
|
diff
|
annotate
2010-06-15
Cezary Kaliszyk
qpaper/Rewrite section5
file
|
diff
|
annotate
2010-06-15
Christian Urban
merged
file
|
diff
|
annotate
2010-06-15
Christian Urban
tuned everytinh up to section 4
file
|
diff
|
annotate
2010-06-15
Cezary Kaliszyk
Definition of Respects.
file
|
diff
|
annotate
2010-06-15
Cezary Kaliszyk
conclusion
file
|
diff
|
annotate
2010-06-15
Cezary Kaliszyk
Qpaper / Clarify the typing system and composition of quotients issue.
file
|
diff
|
annotate
2010-06-15
Cezary Kaliszyk
Remove only reference to 'equivp'.
file
|
diff
|
annotate
less
more
(0)
-100
-50
-24
tip