vikalpa.git/build-aux/gitlog-to-changelog, branch v0.3.1 Vikalpa is a proof assistant inspired by J-Bob http://git.tojo.tokyo/vikalpa.git/atom?h=v0.3.1 2021-09-16T03:36:18Z Generate `ChangeLog` when `make dist` is executed. 2021-09-16T03:36:18Z Masaya Tojo masaya@tojo.tokyo 2021-09-16T03:31:44Z urn:sha1:0988b883057839e1f1f6fd2c73a8ec244f4efc6c * Makefile.am: Add gen-ChengeLog. * build-aux/gitlog-to-changelog: New file. * ChangeLog: Replace to template.