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
1,471 Commits 61 Branches 1 Tag
fsf
Commit Graph

3 Commits

Author SHA1 Message Date
Albin Coquereau
2a46cdeba9 Fix sphinx documentation building (#440) 2021-02-10 14:40:07 +01:00
Albin Coquereau
1b4e9d4d5a Updating Changes.md file (#410) 
* Updating Changes.md file

* Fix 2.4.0 version in documentation
 2021-01-21 14:59:18 +01:00
Louis Rustenholz
c45c511fa0 Doc-Alt-Ergo (#358) 
* Sphinx documentation included

* Travis integration

* Fix install and usage documentation. Add dev (architecture,contributing) and about (license,changes, ressources) section in the doc

Co-authored-by: Louis RUSTENHOLZ <louis.rustenholz@polytechnique.edu>
Co-authored-by: Albin Coquereau <albin.coquereau@ocamlpro.com>
Co-authored-by: Albin Coquereau <6535385+OCamlPro-Coquera@users.noreply.github.com>
Co-authored-by: Mohamed Iguernlala <4703008+OriginLabs-Iguernlala@users.noreply.github.com>
 2020-12-03 09:38:52 +01:00