git.iko.soy
/
typeable/gitrev
readme
files
commits
refs
on
783f8c2
help
sign in
783f8c2
provide IdxNotUsed argument to merged command
Adam C. Foltzer
11 years ago
e90c3b1
update Example.hs in haddock
Adam C. Foltzer
11 years ago
2ae047b
Merge PR #2
Adam C. Foltzer
11 years ago
09f84a2
Merge PR #6
Adam C. Foltzer
11 years ago
a49c7b8
bump version and use hvr's travis.yml
Adam C. Foltzer
11 years ago
6feaf4a
Merge pull request #4 from mulderr/master
Adam C. Foltzer
11 years ago
2f71b53
only add the git index as a dependent file when necessary
Joshua Simmons
11 years ago
6a7018a
add commit date of the current HEAD
Maciej Kazulak
11 years ago
8184c27
add count of commits in HEAD
Adam C. Foltzer
11 years ago
74b2e3d
Use more reliable names for True and False constructor expressions #1
Dan Burton
11 years ago
2702e69
add travis badge
Adam C. Foltzer
12 years ago
fbbbbd6
specify GHC 7.8 for travis
Adam C. Foltzer
12 years ago
7316400
add README
Adam C. Foltzer
12 years ago
0612da8
trigger travis build
Adam C. Foltzer
12 years ago
6ca8aa1
spin off git revision machinery from Cryptol
Adam C. Foltzer
12 years ago
4a0a592
Initial commit
Adam C. Foltzer
12 years ago
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list