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.
tuned example
2010-11-14, by Christian Urban
lifted permute_bn simp rules
2010-11-14, by Christian Urban
lifted permute_bn constants
2010-11-13, by Christian Urban
respectfulness for permute_bn functions
2010-11-13, by Christian Urban
automated permute_bn functions (raw ones first)
2010-11-12, by Christian Urban
adapted to changes by Florian on the quotient package and removed local fix for function package
2010-11-10, by Christian Urban
expanded the paper by uncommenting the comments and adding the appendix
2010-11-10, by Christian Urban
fixed locally the problem with the function package; all tests work again
2010-11-07, by Christian Urban
added a test about subtyping; disabled two tests, because of problem with function package
2010-11-06, by Christian Urban
small typo
2010-11-05, by Christian Urban
squeezed qpaper to 6 pages
2010-10-29, by Christian Urban
Qpaper / Move examples to commented out appendix
2010-10-29, by Cezary Kaliszyk
Unanonymize qpaper
2010-10-28, by Cezary Kaliszyk
FSet changes for Qpaper
2010-10-28, by Cezary Kaliszyk
Remove FSet and use the one from Isabelle
2010-10-28, by Cezary Kaliszyk
took out comment about map-types / adapted to recent changes
2010-10-19, by Christian Urban
use definitions instead of functions
2010-10-19, by Christian Urban
tuned
2010-10-18, by Christian Urban
used functions instead of definitions
2010-10-18, by Christian Urban
added missing style file
2010-10-18, by Christian Urban
Use the generalized compositional quotient theorem
2010-10-18, by Cezary Kaliszyk
fixed typo
2010-10-17, by Christian Urban
all tests work again
2010-10-17, by Christian Urban
some tuning
2010-10-17, by Christian Urban
naming scheme is now *_fset (not f*_)
2010-10-17, by Christian Urban
more cleaning
2010-10-15, by Christian Urban
further tuning
2010-10-15, by Christian Urban
renamed fminus_raw to diff_list
2010-10-15, by Christian Urban
renamed fcard_raw to card_list
2010-10-15, by Christian Urban
slight update
2010-10-15, by Christian Urban
less
more
|
(0)
-1000
-300
-100
-50
-30
+30
+50
+100
+300
tip