descriptionUnnamed repository; edit this file 'description' to name the repository.
owner
last changeTue, 21 Jan 2020 14:22:43 +0000 (14:22 +0000)
shortlog
4 days ago Richard W.M... docs: Document some shell functions. master
4 days ago Richard W.M... tests: Add basic test of predicates.
5 days ago Richard W.M... Update TODO.
5 days ago Richard W.M... docs: Document %stdlib dir.
5 days ago Richard W.M... Implement %tmpdir.
5 days ago Richard W.M... Rename tactic -> predicate.
5 days ago Richard W.M... Implement keep-going (-k) option.
5 days ago Richard W.M... jobs: If multiple jobs fail, save and print all the...
5 days ago Richard W.M... jobs: Remove unnecessary 'a retire and 'a to_string...
5 days ago Richard W.M... Use automake.
7 days ago Richard W.M... stdlib: Improve performance of fedora.gl.
7 days ago Richard W.M... run: Set OCAMLRUNPARAM to display stack traces by default.
7 days ago Richard W.M... stdlib: Fix %branch -> %fedora-branch.
7 days ago Richard W.M... Version 0.2. v0.2
7 days ago Richard W.M... install: Fix install path for stdlib, and install man...
7 days ago Richard W.M... dist: Replace install-sh symlink with a copy of the...
...
tags
7 days ago v0.2 Version 0.2
7 days ago v'0.2' Version '0.2'
heads
4 days ago master