diff options
Diffstat (limited to 'toplevel/toplevel.mllib')
-rw-r--r-- | toplevel/toplevel.mllib | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/toplevel/toplevel.mllib b/toplevel/toplevel.mllib index 4c229d16..e1e349a6 100644 --- a/toplevel/toplevel.mllib +++ b/toplevel/toplevel.mllib @@ -13,11 +13,14 @@ Command Classes Record Ppvernac +Backtrack Vernacinterp Mltop Vernacentries Whelp Vernac +Ide_intf +Ide_slave Toplevel Usage Coqinit |