Mercurial
Mercurial
>
hg
>
tm
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
help
less
more
|
(0)
-100
-14
+14
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.
tuning
2013-03-01, by Christian Urban
added a test to make the simplifier be fast enough to do actual compilations
2013-03-01, by Christian Urban
corrected scala compiler from recs to abacus
2013-03-01, by Christian Urban
updated proofs in Recursive (by Jian)
2013-02-28, by Christian Urban
simplified slightly rec_compilation function
2013-02-28, by Christian Urban
added a coment about partial_function
2013-02-27, by Christian Urban
syntactic convenience for recursive functions
2013-02-26, by Christian Urban
added all recursive functions needed for the UF
2013-02-26, by Christian Urban
tuned
2013-02-26, by Christian Urban
tuned some files
2013-02-26, by Christian Urban
added an al
2013-02-26, by Christian Urban
corrected README
2013-02-25, by Christian Urban
tuned
2013-02-25, by Christian Urban
updated Scala files
2013-02-22, by Christian Urban
less
more
|
(0)
-100
-14
+14
tip