18 Commits

Author	SHA1	Message	Date
Adam C. Foltzer	2c428804bc	remove splitBy and update documentation ... Closes #291	2016-07-05 09:58:49 -07:00
Dylan McNamee	ab279f01d5	incorporating typos and other improvements to docs	2016-04-27 11:52:09 -07:00
Dylan McNamee	623b847094	merging changes to docs	2016-04-19 11:41:55 -07:00
Joseph Kiniry	849fecead8	Merge branch 'master' of github.com:GaloisInc/cryptol	2016-04-18 15:15:58 -07:00
Thomas M. DuBuisson	bd593e4ebe	Add hierarchy to the module documentation.	2016-02-25 16:34:30 -08:00
Dylan McNamee	86c3d0ffe2	Module documentation	2016-02-25 15:14:00 -08:00
Joseph Kiniry	357905934b	Merge branch 'master' of github.com:GaloisInc/cryptol	2016-01-03 23:46:52 -08:00
Dylan McNamee	c27c91af3a	fixed negative stepped sequence example (issue #234) in ProgrammingCryptol	2015-06-05 12:02:16 -07:00
Joseph Kiniry	6af66f2dba	Merge branch 'master' of github.com:GaloisInc/cryptol	2015-05-04 15:19:39 -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	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
Joseph Kiniry	39a472e43f	Merge branch 'master' of github.com:GaloisInc/cryptol	2014-08-12 16:24:53 -07:00
Joseph Kiniry	6fc11569ea	Corrected typo.	2014-08-12 16:24:28 -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
Adam C. Foltzer	ba0a0e8576	Initial import from internal repo	2014-04-17 15:34:25 -07:00