Mercurial
Mercurial
>
hg
>
nominal2
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-1000
-300
-100
-14
+14
+100
+300
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
2010-10-29
Cezary Kaliszyk
Qpaper / Move examples to commented out appendix
changeset
|
files
2010-10-28
Cezary Kaliszyk
Unanonymize qpaper
changeset
|
files
2010-10-28
Cezary Kaliszyk
FSet changes for Qpaper
changeset
|
files
2010-10-28
Cezary Kaliszyk
Remove FSet and use the one from Isabelle
changeset
|
files
2010-10-19
Christian Urban
took out comment about map-types / adapted to recent changes
changeset
|
files
2010-10-19
Christian Urban
use definitions instead of functions
changeset
|
files
2010-10-18
Christian Urban
tuned
changeset
|
files
2010-10-18
Christian Urban
used functions instead of definitions
changeset
|
files
2010-10-18
Christian Urban
added missing style file
changeset
|
files
2010-10-18
Cezary Kaliszyk
Use the generalized compositional quotient theorem
changeset
|
files
2010-10-17
Christian Urban
fixed typo
changeset
|
files
2010-10-17
Christian Urban
all tests work again
changeset
|
files
2010-10-17
Christian Urban
some tuning
changeset
|
files
2010-10-17
Christian Urban
naming scheme is now *_fset (not f*_)
changeset
|
files
Loading...
(0)
-1000
-300
-100
-14
+14
+100
+300
tip