]> matita.cs.unibo.it Git - helm.git/blob - helm/www/lambdadelta/download/helena.sl
update in basic_2
[helm.git] / helm / www / lambdadelta / download / helena.sl
1 $1 = "Helena";
2
3 create_syntax_table ($1);
4
5 define_syntax ("\\*","*\\",'%', $1);     % comments       
6 define_syntax ("([{<", ")]}>", '(', $1); % brackets 
7 define_syntax ('"', '"', $1);            % strings
8 define_syntax ("\\a-zA-Z_0-9", 'w', $1); % words
9
10 set_syntax_flags ($1, 4);
11
12 () = define_keywords_n ($1, "\\ax\\th", 3, 0); 
13 () = define_keywords_n ($1, "\\def", 4, 0); 
14 () = define_keywords_n ($1, "\\cong\\decl\\open", 5, 0); 
15 () = define_keywords_n ($1, "\\close\\graph\\sorts", 6, 0);
16 () = define_keywords_n ($1, "\\require", 8, 0);
17 () = define_keywords_n ($1, "\\generate", 9, 0);
18
19 define helena_mode ()
20 {
21    variable kmap = "Helena";
22
23    set_mode(kmap, 0x04);
24    use_syntax_table (kmap);
25    runhooks("helena_mode_hook");
26 }
27
28 add_mode_for_extension ("helena", "hln");