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
..
Notice.tex	Tweak a few things for 2.9.0 (#833)	2020-07-28 08:41:27 -07:00
Preface.tex	Initial import from internal repo	2014-04-17 15:34:25 -07:00