summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
developwipMasaya Tojo3 years
develop-202001wip81Masaya Tojo3 years
masterUpdate to 0.3.5.Masaya Tojo3 years
 
TagDownloadAuthorAge
v0.3.5commit 8af34bc69a...Masaya Tojo3 years
v0.3.4commit 73b00d3ec4...Masaya Tojo3 years
v0.3.3commit 8db40ba61c...Masaya Tojo3 years
v0.3.2commit fd0554fcd9...Masaya Tojo3 years
v0.3.1commit 2c56c001ca...Masaya Tojo3 years
v0.3.0commit 0988b88305...Masaya Tojo3 years
v0.2.0commit 6abdf4e5fb...Masaya Tojo3 years
v0.2.1commit f8923416fe...Masaya Tojo3 years
v0.2.2commit b0987ec4e6...Masaya Tojo3 years
v0.1.1commit f587949213...Masaya Tojo3 years
[...]
 
AgeCommit messageAuthor
2021-09-17Update to 0.3.5.HEADv0.3.5masterMasaya Tojo
2021-09-17Add (vikalpa the-little-prover).Masaya Tojo
2021-09-16Update to 0.3.4.v0.3.4Masaya Tojo
2021-09-16No expand quoted expressions.Masaya Tojo
2021-09-16Update to 0.3.3.v0.3.3Masaya Tojo
2021-09-16Fix `if` syntax.Masaya Tojo
2021-09-16Update to 0.3.2.v0.3.2Masaya Tojo
2021-09-16Display result with pretty-print in system-apropos.Masaya Tojo
2021-09-16Update to 0.3.1.v0.3.1Masaya Tojo
2021-09-16Remove debug outputs.Masaya Tojo
[...]