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.
more on paper
2011-09-14, by Christian Urban
minor
2011-09-14, by Cezary Kaliszyk
more on paper
2011-09-13, by Christian Urban
more on paper
2011-09-13, by Christian Urban
more on paper
2011-09-13, by Christian Urban
more on the paper
2011-09-12, by Christian Urban
more
2011-09-11, by Christian Urban
more on paper
2011-09-11, by Christian Urban
more
2011-09-10, by Christian Urban
paper
2011-09-09, by Christian Urban
merged
2011-09-09, by Christian Urban
more on paper
2011-09-08, by Christian Urban
more
2011-09-09, by Christian Urban
more on the paper
2011-09-08, by Christian Urban
more on paper
2011-09-07, by Christian Urban
more on the lmcs paper
2011-09-06, by Christian Urban
updated to Isabelle 28 Aug
2011-08-28, by Christian Urban
Use same constructor names as Lambda, remove copies of FCB, remove [eqvt].
2011-08-19, by Cezary Kaliszyk
Add lmcs-paper to hgignore
2011-08-19, by Cezary Kaliszyk
Add 'no-brackets' to avoid '[| |]' in papers.
2011-08-19, by Cezary Kaliszyk
Comment out examples with 'True' that do not work because function still does not work
2011-08-19, by Cezary Kaliszyk
Update to new Isabelle
2011-08-19, by Cezary Kaliszyk
a bit more on the paper
2011-08-18, by Christian Urban
made same changes as in main branch
2011-08-17, by Christian Urban
more on the lmcs paper
2011-08-17, by Christian Urban
a little tuning on the paper
2011-08-17, by Christian Urban
more on the intro and correct style-files
2011-08-16, by Christian Urban
uodated to new Isabelle (15. Aug)
2011-08-15, by Christian Urban
updated for new Isabelle (11. Aug.)
2011-08-15, by Christian Urban
merged
2011-08-14, by Christian Urban
less
more
|
(0)
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
tip