8 Commits

Author	SHA1	Message	Date
Iavor Diatchki	39acf61ee5	Update documentation with info about floats + fractional literals	2020-07-14 15:36:37 -07:00
Rob Dockins	2cb904ec46	Update documentation	2020-05-15 15:28:44 -07:00
Brian Huffman	030349f6de	Fix outdated usage of value-level function width in Cryptol book. ... It is now called `length` and has a generalized type. Cf. #549.	2019-06-20 10:47:40 -07:00
Brian Huffman	951eacc8ff	Fix some index entry names in the book.	2018-07-24 13:03:32 -07:00
Brian Huffman	eef8924dfe	Update operator names in Cryptol book index.	2018-07-20 09:00:29 -07:00
Brian Huffman	6201415c66	Remove index entries and text about non-existent :i, :p commands.	2018-07-20 08:28:35 -07:00
Adam C. Foltzer	2c428804bc	remove splitBy and update documentation ... Closes #291	2016-07-05 09:58:49 -07:00
Adam C. Foltzer	ba0a0e8576	Initial import from internal repo	2014-04-17 15:34:25 -07:00