| Thu, 03 Jan 2019 14:12:44 +0100 | wenzelm | clarified signature: more types; | file | diff | annotate |
| Tue, 13 Dec 2016 11:51:42 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Thu, 14 Apr 2016 15:33:23 +0200 | wenzelm | tuned headers; | file | diff | annotate |
| Thu, 07 Apr 2016 13:54:02 +0200 | wenzelm | simplified default print_depth: context is usually available, in contrast to 0d295e339f52; | file | diff | annotate |
| Wed, 06 Apr 2016 16:33:33 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Tue, 05 Apr 2016 20:51:37 +0200 | wenzelm | clarified modules -- simplified bootstrap; | file | diff | annotate |