David Holland facc682fe8 Fix some typos I noticed in the Programming Cryptol book. (#1631) ... - p-1 bits in an IEEE float refers to the significand, not the mantissa, at least according to the latest preferred terminology, which aims to keep the word "mantissa" for the full mantissa including the units bit; - reciprocal rather than reciprocol; - the example in 1.23 had the wrong module declarations; also insert a separator word between the verbatim blocks so they can be told apart.		2024-02-23 08:16:07 -05:00
..
aes	Fix typo in definition of distributed property of gf28DotProduct	2020-06-18 17:37:17 -07:00
appendices	Update documenetation with new enumeration forms,	2021-07-20 17:01:50 -07: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	Use autoref command and lowercase section refs consistently in the book.	2018-07-19 18:00:17 -07:00
conclusion	Initial import from internal repo	2014-04-17 15:34:25 -07:00
cover	incorporating typos and other improvements to docs	2016-04-27 11:52:09 -07:00
crashCourse	Fix some typos I noticed in the Programming Cryptol book. (#1631)	2024-02-23 08:16:07 -05:00
des	Initial import from internal repo	2014-04-17 15:34:25 -07:00
enigma	Correct definition of rotate in Section 3.3	2020-06-18 17:44:38 -07:00
highAssurance	Documentation updates (#779)	2020-06-30 10:58:25 -07:00
main	Adds "replPrompt" command	2020-12-12 08:47:21 -08:00
misc	Update old cryptol-1 syntax in example code.	2019-06-20 10:54:06 -07:00
preface	Tweak a few things for 2.9.0 (#833)	2020-07-28 08:41:27 -07:00
prims	Update documentation and reference interpreter	2020-09-29 14:55:05 -07:00
sha	Initial import from internal repo	2014-04-17 15:34:25 -07:00
technicalities	Update option names in documentation	2021-02-11 16:27:04 -08:00
title	final tweaks to the book	2014-04-24 10:53:00 -07:00
tools	Remove obsolete cvs-era $Header$ keywords.	2018-03-22 13:33:12 -07:00
utils	Update documentation with info about floats + fractional literals	2020-07-14 15:36:37 -07:00
.gitignore	Initial import from internal repo	2014-04-17 15:34:25 -07:00
Makefile	Don't add an extra copy of Programming Cryptol (#970)	2020-11-17 09:26:03 -08:00