ada/alt-ergo
0
0
Fork 0
mirror of https://github.com/AdaCore/alt-ergo.git synced 2026-02-12 12:39:26 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
alt-ergo/docs/sphinx_docs/Dev
History
Basile Clément 93b1047ef6 Add CONTRIBUTING.md detailing release process (#694) 
Partially moved from docs/
2023-06-26 17:28:47 +00:00
..
architecture.md
generate a PDF file for the deps (using ocamldep, ocamldot and dot)
2021-02-27 18:08:35 +01:00
contributing.md
Add CONTRIBUTING.md detailing release process (#694)
2023-06-26 17:28:47 +00:00
index.rst
Doc-Alt-Ergo (#358)
2020-12-03 09:38:52 +01:00