From e16efa883ae0cf5c82a2ee60bf05304fb9c69b51 Mon Sep 17 00:00:00 2001
From: bertot
Date: Wed, 4 Apr 2001 12:44:55 +0000
Subject: Files that handle the dialogue with the graphical user-interface
 pcoq.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1531 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/interface/paths.mli | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 contrib/interface/paths.mli

(limited to 'contrib/interface/paths.mli')

diff --git a/contrib/interface/paths.mli b/contrib/interface/paths.mli
new file mode 100644
index 0000000000..266207238e
--- /dev/null
+++ b/contrib/interface/paths.mli
@@ -0,0 +1,4 @@
+val decompose_path : (int list * int list) -> (int list * int list * int list);;
+val int_list_to_string : string -> int list -> string;;
+val is_prefix : int list -> int list -> bool;;
+val lex_smaller : int list -> int list -> bool;;
-- 
cgit v1.2.3