cryptol

mirror of https://github.com/GaloisInc/cryptol.git synced 2024-08-18 02:10:31 +03:00

History

Rob Dockins d740442035 Update documenetation with new enumeration forms, and update the reference semantics. Other minor documentation fixes and updates.		2021-07-20 17:01:50 -07:00
..
grammar.tex	incorporating typos and other improvements to docs	2016-04-27 11:52:09 -07:00
Makefile	Update Syntax.md and re-sync it with Syntax.tex	2019-02-18 17:20:01 -08:00
README	Remove `[x..]` and `[x,y..]` syntax from documentation.	2019-02-28 10:38:38 -08:00
Syntax.tex	Update documenetation with new enumeration forms,	2021-07-20 17:01:50 -07:00

README

% IMPORTANT: The file Syntax.tex is generated automatically from the
% markdown in ../../Syntax.md.   If you make changes, please make them
% there and then regenerate the .tex file using the Makefile.