vikalpa.git/build-aux, branch v0.3.2 Vikalpa is a proof assistant inspired by J-Bob http://git.tojo.tokyo/vikalpa.git/atom?h=v0.3.2 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. Initial commit. 2021-01-19T00:32:49Z Masaya Tojo masaya@tojo.tokyo 2020-10-22T14:53:39Z urn:sha1:4825d6c67e42a9da4b87a570ff7f109c26c4779e * COPYING: New file. * Makefile.am: New file. * README.org: New file. * README.md: Delete file. * bootstrap: New file. * build-aux/test-driver.scm: New file. * configure.ac: New file. * guix.scm: New file. * pre-inst-env.in: New file. * rabbit-prover.scm: New file. * toot.scm: New file.