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

626 KiB

Raw History