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-08-19
Cezary Kaliszyk
Add 2 FIXMEs
changeset
|
files
2010-08-19
Cezary Kaliszyk
The type does determine respectfulness, the constant without an instantiated type does not.
changeset
|
files
2010-08-19
Cezary Kaliszyk
Add the SAC stylesheet and updated root file.
changeset
|
files
2010-08-19
Cezary Kaliszyk
TODO
changeset
|
files
2010-08-19
Cezary Kaliszyk
further comments from the referees
changeset
|
files
2010-08-19
Cezary Kaliszyk
fixes for referees
changeset
|
files
2010-08-17
Christian Urban
put everything in a "timeit"
changeset
|
files
2010-08-17
Christian Urban
improved runtime slightly, by constructing an explicit size measure for the function definitions
changeset
|
files
2010-08-17
Christian Urban
more tuning of the code
changeset
|
files
2010-08-17
Christian Urban
deleted unused code
changeset
|
files
2010-08-17
Christian Urban
improved code
changeset
|
files
2010-08-16
Christian Urban
can also lift the various eqvt lemmas for bn, fv, fv_bn and size
changeset
|
files
2010-08-16
Christian Urban
also able to lift the bn_defs
changeset
|
files
2010-08-16
Christian Urban
added rsp-lemmas for alpha_bns
changeset
|
files
Loading...
(0)
-1000
-300
-100
-14
+14
+100
+300
tip