This repository has been archived on 2024-06-20. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.

Exact

Exact Union RegExp

Xia Li-yao 56f463e893 coq: Add some common keywords and improve recognition of Set and qualified identifiers (#2158) ... . is not an operator in Coq: in this specific usage, it is only meant to build a qualified name, so this rule really corresponds to a proper lexical rule in Coq Unlike most languages, Coq has a large set of special words that are not reserved: they may still be used as identifiers. For example Prop is a special word, which currently gets highlighted as such in Equations.Prop.Equations, but it should be recognized as a regular name there. Because of how flexible the syntax of Coq is, it's not straightforward to disambiguate things with just a bunch of regexes, so we have to rely on heuristics. Skipping qualified names from being recognized as keywords is an easy win.		2022-06-11 15:41:14 +02:00
..
coq_RelationClasses	Also add auto-updatable output-based tests to examplefiles (#1689)	2021-01-20 10:48:45 +01:00
coq_RelationClasses.output	coq: Add some common keywords and improve recognition of Set and qualified identifiers (#2158)	2022-06-11 15:41:14 +02:00
coq_test	coq: Add some common keywords and improve recognition of Set and qualified identifiers (#2158)	2022-06-11 15:41:14 +02:00
coq_test.output	coq: Add some common keywords and improve recognition of Set and qualified identifiers (#2158)	2022-06-11 15:41:14 +02:00