Joseph Kiniry d43fcc9ebe Whitespace tweak.		2016-04-18 15:15:56 -07:00
..
ProgrammingCryptol	Whitespace tweak.	2016-04-18 15:15:56 -07:00
.gitignore	Initial import from internal repo	2014-04-17 15:34:25 -07:00
chop.hs	update copyright years	2015-03-24 11:19:52 -07:00
CryptolPrims.md	fixes for tickets 22, 20, 107, 102, in preparation for merging 26	2014-09-23 13:32:09 -07:00
CryptolPrims.pdf	switch back to non-latexmk for book (Windows)	2015-09-16 11:37:00 -07:00
Makefile	change how the book is built	2015-09-15 13:38:06 -07:00
ProgrammingCryptol.pdf	merge in the 2.2.6 changes, including z3 switch	2015-12-23 16:10:56 -08:00
Syntax.md	documentation fixes (tuples, spelling, other wibble)	2015-05-05 08:38:43 -07:00
Syntax.pdf	remove iteSolver option for compat with sbv 5+	2015-09-30 14:24:21 -07:00
Version2Changes.md	Merge branch 'master' of github.com:GaloisInc/cryptol	2016-01-03 23:46:52 -08:00
Version2Changes.pdf	remove iteSolver option for compat with sbv 5+	2015-09-30 14:24:21 -07:00
Version2Table.md	documentation fixes (tuples, spelling, other wibble)	2015-05-05 08:38:43 -07:00
Version2Table.pdf	documentation fixes (tuples, spelling, other wibble)	2015-05-05 08:38:43 -07:00