Ryan afb8730af4 Cryptol 3.2 Release: Update Cabal version numbers.		2024-08-20 09:43:15 -06:00
..
_build	RefMan: Regenerate HTML	2024-02-01 16:55:00 -05:00
_templates	Enable Github CI build of documentation for all tags and PRs.	2023-06-20 22:41:10 -07:00
.gitignore	Generated HTML for manual	2021-10-18 09:22:47 -07:00
BasicSyntax.rst	Improve :check-docstrings (#1706)	2024-07-23 09:43:43 -07:00
BasicTypes.rst	Improvements to reference manual	2022-08-04 14:37:15 +03:00
conf.py	Cryptol 3.2 Release: Update Cabal version numbers.	2024-08-20 09:43:15 -06:00
Expressions.rst	Improvements to reference manual	2022-08-04 14:37:15 +03:00
FFI.rst	Reword RefMan section on FFI cryptol fallback	2023-08-22 14:02:17 -07:00
make.bat	A shpynx temaplte for a reference manual	2021-04-29 16:47:54 -07:00
Makefile	A shpynx temaplte for a reference manual	2021-04-29 16:47:54 -07:00
Modules.rst	Fix some syntax errors in the Modules documentation.	2023-06-27 14:13:20 -07:00
OverloadedOperations.rst	Document the classes that inhabit the various overloading classes.	2023-05-23 11:23:36 -07:00
RefMan.rst	FFI: Add docs	2022-08-11 12:26:48 -07:00
TypeDeclarations.rst	RefMan: Fix formatting error	2024-02-01 16:54:09 -05:00