Dylan McNamee ab279f01d5 incorporating typos and other improvements to docs		2016-04-27 11:52:09 -07:00
..
Blank.pdf	Initial import from internal repo	2014-04-17 15:34:25 -07:00
Cover.pdf	Initial import from internal repo	2014-04-17 15:34:25 -07:00
Cryptol1Cover.pdf	Initial import from internal repo	2014-04-17 15:34:25 -07:00
Cryptol_cover_template.gif	Initial import from internal repo	2014-04-17 15:34:25 -07:00
Cryptol_teardrop.png	Initial import from internal repo	2014-04-17 15:34:25 -07:00
Cryptol_teardrop.white.PNG	Initial import from internal repo	2014-04-17 15:34:25 -07:00
CryptolCover.ai	incorporating typos and other improvements to docs	2016-04-27 11:52:09 -07:00
CryptolCover.pdf	incorporating typos and other improvements to docs	2016-04-27 11:52:09 -07:00
CryptolSmallCover.ai	final tweaks to the book	2014-04-24 10:53:00 -07:00
CryptolSmallCover.pdf	merging changes to docs	2016-04-19 11:41:55 -07:00
ProgrammingCryptolCover.ai	Initial import from internal repo	2014-04-17 15:34:25 -07:00
ProgrammingCryptolCover.pdf	tweaks to documentation and Salsa20 fix from Sean	2014-09-10 14:27:08 -07:00