diff options
| -rw-r--r-- | contrib/interface/vernacrc | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/contrib/interface/vernacrc b/contrib/interface/vernacrc index b66f1e4c11..14f7e8c98f 100644 --- a/contrib/interface/vernacrc +++ b/contrib/interface/vernacrc @@ -2,13 +2,8 @@ # This file is loaded initially by ./vernacparser. -load_syntax_file 17 LogicSyntax -load_syntax_file 36 SpecifSyntax -load_syntax_file 18 Logic_TypeSyntax -load_syntax_file 19 DatatypesSyntax -load_syntax_file 21 Equality -load_syntax_file 22 Inv -load_syntax_file 26 Tauto +load_syntax_file 1 Notations +load_syntax_file 2 Logic load_syntax_file 34 Omega load_syntax_file 27 Ring quiet_parse_string |