diff options
Diffstat (limited to 'vernac/vernac.mllib')
-rw-r--r-- | vernac/vernac.mllib | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/vernac/vernac.mllib b/vernac/vernac.mllib index f001b572a..6fceda56d 100644 --- a/vernac/vernac.mllib +++ b/vernac/vernac.mllib @@ -1,10 +1,14 @@ Vernacprop -Proof_using -Lemmas Himsg ExplainErr -Class Locality +Egramml +Vernacinterp +Ppvernac +Proof_using +Lemmas +Class +Egramcoq Metasyntax Auto_ind_decl Search @@ -20,7 +24,6 @@ Classes Record Assumptions Vernacstate -Vernacinterp Mltop Topfmt Vernacentries |