12 Commits

Author	SHA1	Message	Date
Dylan McNamee	fb93e5f4b3	fixes for tickets 22, 20, 107, 102, in preparation for merging 26	2014-09-23 13:32:09 -07:00
Dylan McNamee	9319e0c19c	tweaking notice, adding regression test for GitHub issue #110	2014-09-19 13:09:44 -07:00
Rob Dickerson	8250adfdbe	Changing some split examples in crash course to use splitBy instead.	2014-09-18 02:59:11 -05:00
Dylan McNamee	0e29d1d369	issue 108 from Sean, and a minor tweak to the AES chapter's formatting.	2014-09-17 12:28:30 -07:00
Dylan McNamee	75852a2596	Merge branch 'master' of https://github.com/GaloisInc/cryptol	2014-09-10 14:27:26 -07:00
Dylan McNamee	81adb95a37	tweaks to documentation and Salsa20 fix from Sean	2014-09-10 14:27:08 -07:00
Adam C. Foltzer	15e6fec34d	update documentation for #82	2014-09-09 11:59:39 -04:00
Dylan McNamee	3ebc8bffcd	Incorporating Sean Weaver's fixes to programming cryptol - ticket #80	2014-09-02 10:26:35 -07:00
Dylan McNamee	87042d4604	fixing lone bad reference in doc, added syntax chapter, replaced Salsa spec ... PDF with pointer to it, fixed table in section 1.2.2	2014-04-30 11:37:15 -07:00
Dylan McNamee	8fbb351063	final tweaks to the book	2014-04-24 10:53:00 -07:00
Dylan McNamee	288178dea2	markdown -> .md, Acks section, adding spec to contrib	2014-04-23 13:15:18 -07:00
Adam C. Foltzer	ba0a0e8576	Initial import from internal repo	2014-04-17 15:34:25 -07:00