From a2e44a2dbe77c5ce227ea7e12d2cfce903221254 Mon Sep 17 00:00:00 2001
From: ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 20 Apr 2012 11:38:44 +0000
Subject: Cleaning up widget code and using a naming convention for such files.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15232 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/ide.mllib | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'ide/ide.mllib')

diff --git a/ide/ide.mllib b/ide/ide.mllib
index 9bbf9b0d9..ee498ba0c 100644
--- a/ide/ide.mllib
+++ b/ide/ide.mllib
@@ -9,7 +9,7 @@ Configwin
 Editable_cells
 Config_parser
 Tags
-Typed_notebook
+Wg_Notebook
 Config_lexer
 Utf8_convert
 Preferences
@@ -21,6 +21,6 @@ Gtk_parsing
 Undo
 Coq
 Coq_commands
-Command_windows
+Wg_Command
 Coqide_ui
 Coqide
-- 
cgit v1.2.3