mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 22:17:18 +03:00
5 lines
203 B
Plaintext
5 lines
203 B
Plaintext
% 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.
|
|
|