3 create_syntax_table ($1);
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
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);
18 define Automath_mode ()
20 variable kmap = "Automath";
23 use_syntax_table (kmap);
24 runhooks("Automath_mode_hook");
27 add_mode_for_extension ("Automath", "aut");