summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
gmpAdd stuff to MakefileThomas Jespersen6 years
masterAdd minted-text environment and adjust fixme'sThomas Jespersen6 years
pkgAdd README to package scriptThomas Jespersen6 years
 
 
AgeCommit messageAuthorFilesLines
2015-01-03Add minted-text environment and adjust fixme'sThomas Jespersen1-3/+5
2015-01-03EditingThomas Jespersen1-12/+7
2015-01-03Minor nit-gritsThomas Jespersen1-18/+17
2015-01-03Lots of writing on comparison and conclusionThomas Jespersen1-31/+80
2015-01-03Make cmd-sole.hs build againThomas Jespersen2-97/+97
2015-01-03Adjust configure scriptThomas Jespersen2-178/+0
2015-01-03Add stuff to MakefileThomas Jespersen1-5/+16
2015-01-03Remove debugging statementsThomas Jespersen1-6/+10
2015-01-02Add --sole-gmp option to bin/encode_fileThomas Jespersen2-3/+65
2015-01-02Merge branch 'master' into gmpThomas Jespersen6-21/+229
[...]