git.annexia.org / goals.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

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