helm/www/lambdadelta/download/automath.sl

   1 $1 = "Automath";
   2
   3 create_syntax_table ($1);
   4
   5 define_syntax ("{","}",'%', $1);         % comments
   6 define_syntax ("#","",'%', $1);          % comments
   7 define_syntax ("%","",'%', $1);          % comments
   8 define_syntax ("([<", ")]>", '(', $1);   % brackets
   9 define_syntax ('"', '"', $1);            % strings
  10 define_syntax ("a-zA-Z_0-9`'", 'w', $1); % words
  11 define_syntax (":+-=*@~,;.?", '+', $1);  % operators
  12
  13
  14 () = define_keywords_n ($1, "EBPN_E", 2, 0);
  15 () = define_keywords_n ($1, "'_E''eb''pn'PRIMPROPTYPE", 4, 0);
  16 () = define_keywords_n ($1, "'prim''prop''type'", 6, 0);
  17
  18 define Automath_mode ()
  19 {
  20    variable kmap = "Automath";
  21
  22    set_mode(kmap, 0x04);
  23    use_syntax_table (kmap);
  24    runhooks("Automath_mode_hook");
  25 }
  26
  27 add_mode_for_extension ("Automath", "aut");