From 7cfc4e5146be5666419451bdd516f1f3f264d24a Mon Sep 17 00:00:00 2001
From: Enrico Tassi <gareuselesinge@debian.org>
Date: Sun, 25 Jan 2015 14:42:51 +0100
Subject: Imported Upstream version 8.5~beta1+dfsg

---
 ide/ide.mllib | 22 +++++++++++++++++-----
 1 file changed, 17 insertions(+), 5 deletions(-)

(limited to 'ide/ide.mllib')

diff --git a/ide/ide.mllib b/ide/ide.mllib
index 9bbf9b0d..e082bd18 100644
--- a/ide/ide.mllib
+++ b/ide/ide.mllib
@@ -9,18 +9,30 @@ Configwin
 Editable_cells
 Config_parser
 Tags
-Typed_notebook
+Wg_Segment
+Wg_Notebook
 Config_lexer
 Utf8_convert
 Preferences
 Project_file
 Ideutils
-Ideproof
+Xmlprotocol
+Coq
 Coq_lex
+Sentence
 Gtk_parsing
-Undo
-Coq
+Wg_ProofView
+Wg_MessageView
+Wg_Detachable
+Wg_Find
+Wg_Completion
+Wg_ScriptView
 Coq_commands
-Command_windows
+Wg_Command
+FileOps
+Document
+CoqOps
+Session
 Coqide_ui
+NanoPG
 Coqide
-- 
cgit v1.2.3