helm/software/matita/nlibrary/topology/sh_grafite.js

   1 if (! this.sh_languages) {
   2   this.sh_languages = {};
   3 }
   4 sh_languages['grafite'] = [
   5   [
   6     [
   7       /\b(?:napply|ncases|nelim|nletin|ncut|nauto|nwhd|nnormalize|nassumption|ngeneralize|nchange|nrewrite|nlapply)\b/g,
   8       'sh_preproc',
   9       -1
  10     ],
  11     [
  12       /\b[+-]?(?:(?:0x[A-Fa-f0-9]+)|(?:(?:[\d]*\.)?[\d]+(?:[eE][+-]?[\d]+)?))u?(?:(?:int(?:8|16|32|64))|L)?\b/g,
  13       'sh_number',
  14       -1
  15     ],
  16     [
  17       /"/g,
  18       'sh_string',
  19       1
  20     ],
  21     [
  22       /\b(?:match|with|in|naxiom|nlemma|ntheorem|nrecord|for|ninductive|ncoinductive|ndefinition|nlet|rec|corec|notation|interpretation|nqed|include)\b/g,
  23       'sh_keyword',
  24       -1
  25     ],
  26     [
  27       /\(\*/g,
  28       'sh_comment',
  29       2
  30     ],
  31     [
  32       /\b(?:CProp|Type|Prop)\b/g,
  33       'sh_type',
  34       -1
  35     ],
  36     [
  37       /\[|\]|\||\$|@|\{|\}/g,
  38       'sh_symbol',
  39       -1
  40     ]
  41   ],
  42   [
  43     [
  44       /$/g,
  45       null,
  46       -2
  47     ],
  48     [
  49       /\\(?:\\|")/g,
  50       null,
  51       -1
  52     ],
  53     [
  54       /"/g,
  55       'sh_string',
  56       -2
  57     ]
  58   ],
  59   [
  60     [
  61       /\*\)/g,
  62       'sh_comment',
  63       -2
  64     ],
  65     [
  66       /\(\*/g,
  67       'sh_comment',
  68       2
  69     ]
  70   ]
  71 ];