Mercurial
Mercurial
>
hg
>
nominal2
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
help
less
more
|
(0)
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
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.
space
2011-09-22, by Cezary Kaliszyk
spelling
2011-09-22, by Cezary Kaliszyk
added comments from Andrei
2011-09-21, by Christian Urban
bib
2011-09-21, by Christian Urban
more polishing
2011-09-21, by Christian Urban
added a footnote
2011-09-21, by Christian Urban
some minor polishing
2011-09-21, by Christian Urban
some minor polishing
2011-09-21, by Christian Urban
merged
2011-09-21, by Christian Urban
some polishing
2011-09-21, by Christian Urban
Alternate versions of alpha for finitely supported types on the raw level
2011-09-21, by Cezary Kaliszyk
merged
2011-09-21, by Christian Urban
changes
2011-09-21, by Christian Urban
deleted PNil
2011-09-21, by Christian Urban
deleted PNil
2011-09-21, by Christian Urban
Load pdfsetup and hyperref last.
2011-09-21, by Cezary Kaliszyk
Correct BIB entry
2011-09-21, by Cezary Kaliszyk
updated to Isabelle 19 Sept
2011-09-20, by Christian Urban
more polishing
2011-09-20, by Christian Urban
minor
2011-09-20, by Cezary Kaliszyk
polished
2011-09-19, by Christian Urban
included comments from Ramana
2011-09-18, by Christian Urban
polished
2011-09-18, by Christian Urban
all material
2011-09-16, by Christian Urban
all material
2011-09-16, by Christian Urban
almost finished
2011-09-16, by Christian Urban
more on paper
2011-09-16, by Christian Urban
more on the paper
2011-09-15, by Christian Urban
more on paper
2011-09-14, by Christian Urban
minor
2011-09-14, by Cezary Kaliszyk
less
more
|
(0)
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
tip