vikalpa.git, 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-16T04:12:44Z
Update to 0.3.1.
2021-09-16T04:12:44Z
Masaya Tojo
masaya@tojo.tokyo
2021-09-16T04:11:44Z
urn:sha1:2c56c001ca259e6285124dc364ed2959b349c689
* guix.scm: Update to 0.3.1.
* configure.ac: Update to 0.3.1.
Remove debug outputs.
2021-09-16T04:10:19Z
Masaya Tojo
masaya@tojo.tokyo
2021-09-16T04:10:19Z
urn:sha1:5afce6c020637dcc82ee61d26457e3e6cf89210b
* vikalpa.scm (system-check): Remove debug outputs.
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