index
:
vikalpa.git
develop
develop-202001
master
Vikalpa is a proof assistant inspired by J-Bob
Masaya Tojo
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Branch
Commit message
Author
Age
develop
wip
Masaya Tojo
4 years
develop-202001
wip81
Masaya Tojo
4 years
master
Update to 0.3.5.
Masaya Tojo
3 years
Tag
Download
Author
Age
v0.3.5
commit 8af34bc69a...
Masaya Tojo
3 years
v0.3.4
commit 73b00d3ec4...
Masaya Tojo
3 years
v0.3.3
commit 8db40ba61c...
Masaya Tojo
3 years
v0.3.2
commit fd0554fcd9...
Masaya Tojo
3 years
v0.3.1
commit 2c56c001ca...
Masaya Tojo
3 years
v0.3.0
commit 0988b88305...
Masaya Tojo
3 years
v0.2.0
commit 6abdf4e5fb...
Masaya Tojo
3 years
v0.2.1
commit f8923416fe...
Masaya Tojo
3 years
v0.2.2
commit b0987ec4e6...
Masaya Tojo
3 years
v0.1.1
commit f587949213...
Masaya Tojo
4 years
[...]
Age
Commit message
Author
2021-09-16
Update to 0.3.2.
...
v0.3.2
Masaya Tojo
2021-09-16
Display result with pretty-print in system-apropos.
...
Masaya Tojo
2021-09-16
Update to 0.3.1.
...
v0.3.1
Masaya Tojo
2021-09-16
Remove debug outputs.
...
Masaya Tojo
2021-09-16
Generate `ChangeLog` when `make dist` is executed.
...
v0.3.0
Masaya Tojo
2021-09-16
Version up.
...
Masaya Tojo
2021-09-16
Add ChangeLog file.
...
Masaya Tojo
2021-09-16
Replace from core-system/equal to core-system/equal-t-nil.
Masaya Tojo
2021-09-16
Add `*~` to `.gitignore` file.
Masaya Tojo
2021-09-16
Remove sys variables.
Masaya Tojo
[...]