| 2014-11-02 | wenzelm | 2014-11-02 | modernized header uniformly as section; | file | diff | annotate |
| 2014-11-01 | wenzelm | 2014-11-01 | eliminated spurious semicolons; | file | diff | annotate |
| 2014-01-25 | wenzelm | 2014-01-25 | prefer explicit 'for' context; | file | diff | annotate |
| 2012-09-12 | wenzelm | 2012-09-12 | tuned headers; | file | diff | annotate |
| 2012-08-28 | wenzelm | 2012-08-28 | renamed doc-src to src/Doc; renamed TutorialI to Tutorial; | file | diff | annotate | base |