From 6b649aba925b6f7462da07599fe67ebb12a3460e Mon Sep 17 00:00:00 2001 From: Samuel Mimram Date: Wed, 28 Jul 2004 21:54:47 +0000 Subject: Imported Upstream version 8.0pl1 --- config/coq_config.mli | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100644 config/coq_config.mli (limited to 'config/coq_config.mli') diff --git a/config/coq_config.mli b/config/coq_config.mli new file mode 100644 index 00000000..1d88358a --- /dev/null +++ b/config/coq_config.mli @@ -0,0 +1,36 @@ +(************************************************************************) +(* v * The Coq Proof Assistant / The Coq Development Team *) +(*