| Tue, 29 May 2018 17:45:48 +0200 | wenzelm | more operations; | file | diff | annotate |
| Tue, 29 May 2018 15:04:02 +0200 | wenzelm | more accurate dependencies; | file | diff | annotate |
| Tue, 29 May 2018 14:38:32 +0200 | wenzelm | more formal dump aspects; | file | diff | annotate |
| Mon, 28 May 2018 22:25:10 +0200 | wenzelm | support to dump build database produced by PIDE session; | file | diff | annotate |