| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Add minted-text environment and adjust fixme's | Thomas Jespersen | 10 years | |
| Age | Commit message | Author | ||
| 2015-01-03 | Add minted-text environment and adjust fixme'sHEADmaster | Thomas Jespersen | ||
| 2015-01-03 | Editing | Thomas Jespersen | ||
| 2015-01-03 | Minor nit-grits | Thomas Jespersen | ||
| 2015-01-03 | Lots of writing on comparison and conclusion | Thomas Jespersen | ||
| 2015-01-03 | Make cmd-sole.hs build again | Thomas Jespersen | ||
| 2015-01-03 | Adjust configure script | Thomas Jespersen | ||
| 2015-01-03 | Add stuff to Makefile | Thomas Jespersen | ||
| 2015-01-03 | Remove debugging statements | Thomas Jespersen | ||
| 2015-01-02 | Add --sole-gmp option to bin/encode_file | Thomas Jespersen | ||
| 2015-01-02 | Merge branch 'master' into gmp | Thomas Jespersen | ||
| [...] | ||||
| Clone | ||||
| git@git.laumann.xyz:dodis-patrascu-thorup | ||||
| http://git.laumann.xyz/dodis-patrascu-thorup | ||||
 |
index : dodis-patrascu-thorup | |
| SOLE and LOSE encoding schemes |
| summaryrefslogtreecommitdiff |