10 Commits

Author	SHA1	Message	Date
Brett Boston	b136902476	Correct definition of rotate in Section 3.3 ... Closes #758	2020-06-18 17:44:38 -07:00
Aaron Tomb	7027b599a7	Update some copyright notices	2018-07-26 09:08:32 -07:00
Brian Huffman	1eaabf87aa	Miscellaneous edits to the book.	2018-07-20 15:48:46 -07:00
Brian Huffman	dd2c4b6507	Introduce command for more uniform exercise references in the book.	2018-07-19 18:25:55 -07:00
Brian Huffman	af6b830162	Use autoref command and lowercase section refs consistently in the book.	2018-07-19 18:00:17 -07:00
Brian Huffman	ed1dd212ab	More small fixes in Programming Cryptol	2016-08-03 16:04:10 -07:00
Dylan McNamee	623b847094	merging changes to docs	2016-04-19 11:41:55 -07:00
Adam C. Foltzer	4d3fc9a413	Update copyright dates and add missing headers	2016-01-19 18:19:35 -08:00
Adam C. Foltzer	0536d0f15a	update copyright years	2015-03-24 11:19:52 -07:00
Adam C. Foltzer	ba0a0e8576	Initial import from internal repo	2014-04-17 15:34:25 -07:00