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

---
 toplevel/toplevel.mllib | 12 +++---------
 1 file changed, 3 insertions(+), 9 deletions(-)

(limited to 'toplevel/toplevel.mllib')

diff --git a/toplevel/toplevel.mllib b/toplevel/toplevel.mllib
index e1e349a6..d22524e5 100644
--- a/toplevel/toplevel.mllib
+++ b/toplevel/toplevel.mllib
@@ -1,27 +1,21 @@
 Himsg
 Cerrors
 Class
-Vernacexpr
+Locality
 Metasyntax
 Auto_ind_decl
-Libtypes
 Search
-Autoinstance
-Lemmas
 Indschemes
+Obligations
 Command
 Classes
 Record
-Ppvernac
-Backtrack
 Vernacinterp
 Mltop
 Vernacentries
 Whelp
 Vernac
-Ide_intf
-Ide_slave
-Toplevel
 Usage
+Coqloop
 Coqinit
 Coqtop
-- 
cgit v1.2.3