2011-08-29 | Christian Grothoff | run indent twice, it alternates between two 'canonical... | blob | commitdiff | raw |
2011-08-15 | Christian Grothoff | indentation | blob | commitdiff | raw | diff to current |
2011-08-15 | Christian Grothoff | indentation | blob | commitdiff | raw | diff to current |
2011-07-27 | Christian Grothoff | fix | blob | commitdiff | raw | diff to current |
2011-07-15 | Christian Grothoff | add 1 std dev -- seems to help: | blob | commitdiff | raw | diff to current |
2011-07-14 | Christian Grothoff | never discard current mc | blob | commitdiff | raw | diff to current |
2011-07-14 | Christian Grothoff | node | blob | commitdiff | raw | diff to current |
2011-07-14 | Christian Grothoff | nicer stats, bugfix | blob | commitdiff | raw | diff to current |
2011-07-13 | Christian Grothoff | rename | blob | commitdiff | raw | diff to current |