Kevin Quick 9f50f0384a Add more information regarding the auto-duplication of _templates/versions.html		2023-06-22 14:04:24 -07:00
..
workflows	Update wording and reference to online documentation URL.	2023-06-22 11:23:33 -07:00
ci.sh	Add CVC5 support	2023-03-06 10:45:19 -05:00
gen_html_context.py	Add more information regarding the auto-duplication of _templates/versions.html	2023-06-22 14:04:24 -07:00
pr-labeler.yml	Implement GitHub actions (#722)	2020-05-14 10:50:22 -07:00
release-drafter.yml	Implement GitHub actions (#722)	2020-05-14 10:50:22 -07:00
wix.ps1	Only include bindist-related files in cryptol.msi	2022-05-23 06:47:16 -04:00