diff options
Diffstat (limited to 'TODO')
-rw-r--r-- | TODO | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -1,8 +1,6 @@ Distribution: - faire une passe sur les options de coqtop et coqc -- option -byte à coqtop -- coqc utilise coqtop.opt par défaut, sauf si -byte indiqué Environnement: |