vikalpa.git, branch v0.3.0 Vikalpa is a proof assistant inspired by J-Bob http://git.tojo.tokyo/vikalpa.git/atom?h=v0.3.0 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. Version up. 2021-09-16T03:36:18Z Masaya Tojo masaya@tojo.tokyo 2021-09-16T03:17:22Z urn:sha1:33578c735d9ceddc6fca719398e290c3b2ef48fe * guix.scm: Version up. * configure.ac: Version up. Add ChangeLog file. 2021-09-16T03:36:18Z Masaya Tojo masaya@tojo.tokyo 2021-09-16T03:16:54Z urn:sha1:2359d09210d30f29f24d53e0b0af7bcd9c8db8df * ChangeLog: New file. Replace from core-system/equal to core-system/equal-t-nil. 2021-09-16T03:36:17Z Masaya Tojo masaya@tojo.tokyo 2021-09-16T03:10:19Z urn:sha1:524cde2942d64fc0cef1636cd93950689b065c88 Add `*~` to `.gitignore` file. 2021-09-16T03:36:17Z Masaya Tojo masaya@tojo.tokyo 2021-09-16T02:59:40Z urn:sha1:9ed7c0c3cb88c1f29e5af292f79434b913724b6b Remove sys variables. 2021-09-16T03:36:17Z Masaya Tojo masaya@tojo.tokyo 2021-09-15T23:54:59Z urn:sha1:a68f803bc56e8738a527f2ef38faf65c07f3abd2 Display (system-check system) with pretty-print. 2021-09-16T03:36:17Z Masaya Tojo masaya@tojo.tokyo 2021-09-15T11:25:04Z urn:sha1:b0987ec4e64855f0267132c787c9a051d5f89202 Return (system-check system) when evaluate define-system. 2021-09-16T03:36:17Z Masaya Tojo masaya@tojo.tokyo 2021-09-15T09:00:25Z urn:sha1:f8923416fee10225a2475897508744013c0b4497 Version up from 0.1.1 to 0.2.0. 2021-09-16T03:36:17Z Masaya Tojo masaya@tojo.tokyo 2021-09-15T08:24:40Z urn:sha1:6abdf4e5fb3c9b3e39d8b41f9dc7335c07d4557c Add core-system/equal system. 2021-09-16T03:36:17Z Masaya Tojo masaya@tojo.tokyo 2021-09-15T08:22:58Z urn:sha1:0f6bede2a2d24df2931e5c9ffc66c833c1a21cb7