Projet génie logiciel 2016 de l'ENS Cachan
You will need the lablgtk and ounit modules
opam install lablgtk ounit
forked from severus21/ide_cachan
-
Notifications
You must be signed in to change notification settings - Fork 0
dbaelde/ide_cachan
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Projet génie logiciel 2016 de l'ENS Cachan
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- TeX 65.0%
- OCaml 26.7%
- Prolog 7.7%
- Other 0.6%