cryptol/docs/ProgrammingCryptol
Adam C. Foltzer 2ca0e6f732 switch back to non-latexmk for book (Windows)
Windows didn't like the latexmk solution from
5eb5f00d0a.
2015-09-16 11:37:00 -07:00
..
aes issue 108 from Sean, and a minor tweak to the AES chapter's formatting. 2014-09-17 12:28:30 -07:00
appendices Add the mono-binds flag 2014-12-15 17:48:25 -08:00
basic Initial import from internal repo 2014-04-17 15:34:25 -07:00
bib Initial import from internal repo 2014-04-17 15:34:25 -07:00
classic Initial import from internal repo 2014-04-17 15:34:25 -07:00
conclusion Initial import from internal repo 2014-04-17 15:34:25 -07:00
cover tweaks to documentation and Salsa20 fix from Sean 2014-09-10 14:27:08 -07:00
crashCourse fixed negative stepped sequence example (issue #234) in ProgrammingCryptol 2015-06-05 12:02:16 -07:00
des Initial import from internal repo 2014-04-17 15:34:25 -07:00
enigma update copyright years 2015-03-24 11:19:52 -07:00
highAssurance update book with allSat 2015-01-18 17:03:43 -08:00
installation fixing lone bad reference in doc, added syntax chapter, replaced Salsa spec 2014-04-30 11:37:15 -07:00
main update copyright years 2015-03-24 11:19:52 -07:00
misc Initial import from internal repo 2014-04-17 15:34:25 -07:00
preface update copyright years 2015-03-24 11:19:52 -07:00
prims Initial import from internal repo 2014-04-17 15:34:25 -07:00
sha Initial import from internal repo 2014-04-17 15:34:25 -07:00
title final tweaks to the book 2014-04-24 10:53:00 -07:00
tools update copyright years 2015-03-24 11:19:52 -07:00
utils Initial import from internal repo 2014-04-17 15:34:25 -07:00
.gitignore Initial import from internal repo 2014-04-17 15:34:25 -07:00
Makefile switch back to non-latexmk for book (Windows) 2015-09-16 11:37:00 -07:00