1 files changed, 34 insertions, 0 deletions
diff --git a/ide/coqide/ide.mllib b/ide/coqide/ide.mllib
new file mode 100644
index 0000000000..f8e8ff48d6
--- /dev/null
+++ b/ide/coqide/ide.mllib
@@ -0,0 +1,34 @@
+Minilib
+Configwin_messages
+Configwin_ihm
+Configwin
+Config_parser
+Tags
+Wg_Notebook
+Config_lexer
+Utf8_convert
+Preferences
+Project_file
+Ideutils
+Unicode_bindings
+Coq
+Coq_lex
+Sentence
+Gtk_parsing
+Wg_Segment
+Wg_ProofView
+Wg_MessageView
+Wg_RoutedMessageViews
+Wg_Detachable
+Wg_Find
+Wg_Completion
+Wg_ScriptView
+Coq_commands
+FileOps
+Document
+CoqOps
+Wg_Command
+Session
+Coqide_ui
+MicroPG
+Coqide