]> matita.cs.unibo.it Git - helm.git/blob - helm/software/matita/nlibrary/topology/grafite.lang
more comments
[helm.git] / helm / software / matita / nlibrary / topology / grafite.lang
1 preproc = "napply|ncases|nelim|nletin|ncut|nauto|nwhd|nnormalize|nassumption|ngeneralize|nchange|nrewrite|nlapply"
2
3 number = 
4 '\<[+-]?((0x[[:xdigit:]]+)|(([[:digit:]]*\.)?
5 [[:digit:]]+([eE][+-]?[[:digit:]]+)?))u?((int(?:8|16|32|64))|L)?\>'
6
7 string delim "\"" "\"" escape "\\"
8
9 keyword = "match|with|in|naxiom|nlemma|ntheorem|nrecord|for|ninductive|ncoinductive|ndefinition|nlet|rec|corec|notation|interpretation|nqed|include"
10
11 comment delim "(*" "*)" multiline nested 
12
13 type = '\<(?:CProp|Type|Prop)\>'
14
15 symbol = "[","]","\|","$","@","{","}"
16