aboutsummaryrefslogtreecommitdiffhomepage
path: root/config
ModeNameSize
-rw-r--r--.cvsignore23logplain
-rw-r--r--Makefile.template2817logplain
-rw-r--r--coq_config.mli1442logplain
-rw-r--r--giveostype.ml27logplain