Aaron Tomb 5100132e4c Tweak a few things for 2.9.0 (#833) ... * Fix Dockerfile * Include version number in CHANGES.md * Update copyright dates * Don't include cryptol-specs in release archives * Remove duplicate copy of Programming Cryptol		2020-07-28 08:41:27 -07:00
..
ProgrammingCryptol	Tweak a few things for 2.9.0 (#833)	2020-07-28 08:41:27 -07:00
.gitignore	Initial import from internal repo	2014-04-17 15:34:25 -07:00
AbstractValuesAndModuleParameters.md	Rename primitive demote to the more self-explanatory name number.	2018-07-27 13:52:57 -07:00
chop.hs	Remove obsolete cvs-era $Header$ keywords.	2018-03-22 13:33:12 -07:00
CryptolPrims.md	Update documentation with info about floats + fractional literals	2020-07-14 15:36:37 -07:00
CryptolPrims.pdf	Update documentation with info about floats + fractional literals	2020-07-14 15:36:37 -07:00
Makefile	Document polynomial syntax + escape pipes in Version2Table	2020-06-26 15:32:47 -07:00
ProgrammingCryptol.pdf	Tweak a few things for 2.9.0 (#833)	2020-07-28 08:41:27 -07:00
Semantics.pdf	Update documentation with info about floats + fractional literals	2020-07-14 15:36:37 -07:00
Syntax.md	Update documentation with info about floats + fractional literals	2020-07-14 15:36:37 -07:00
Syntax.pdf	Update documentation with info about floats + fractional literals	2020-07-14 15:36:37 -07:00
Version2Changes.md	Merge branch 'master' of github.com:GaloisInc/cryptol	2016-01-03 23:46:52 -08:00
Version2Changes.pdf	remove splitBy and update documentation	2016-07-05 09:58:49 -07:00
Version2Table.md	Document polynomial syntax + escape pipes in Version2Table	2020-06-26 15:32:47 -07:00
Version2Table.pdf	documentation fixes (tuples, spelling, other wibble)	2015-05-05 08:38:43 -07:00