2011-12-25 | Christian Grothoff | -maybe not the best default for now | blob | commitdiff | raw |
2011-12-25 | Christian Grothoff | -log to files by default | blob | commitdiff | raw | diff to current |
2011-11-03 | Christian Grothoff | implementing #1747 | blob | commitdiff | raw | diff to current |