added code generator syntax
authorhaftmann
Tue Nov 22 12:42:59 2005 +0100 (2005-11-22)
changeset 182196c84210902db
parent 18218 9a7ffce389c3
child 18220 43cf5767f992
added code generator syntax
etc/isar-keywords-ZF.el
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords-ZF.el	Tue Nov 22 10:09:11 2005 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Tue Nov 22 12:42:59 2005 +0100
     1.3 @@ -37,8 +37,12 @@
     1.4      "classrel"
     1.5      "clear_undos"
     1.6      "codatatype"
     1.7 +    "code_generate"
     1.8      "code_library"
     1.9      "code_module"
    1.10 +    "code_syntax_const"
    1.11 +    "code_syntax_tyco"
    1.12 +    "codegen_class"
    1.13      "coinductive"
    1.14      "commit"
    1.15      "constdefs"
    1.16 @@ -51,6 +55,7 @@
    1.17      "def"
    1.18      "defaultsort"
    1.19      "defer"
    1.20 +    "defined_by"
    1.21      "defs"
    1.22      "disable_pr"
    1.23      "display_drafts"
    1.24 @@ -193,13 +198,16 @@
    1.25      "begin"
    1.26      "binder"
    1.27      "case_eqns"
    1.28 +    "code_alias"
    1.29      "con_defs"
    1.30      "concl"
    1.31      "constrains"
    1.32      "contains"
    1.33      "defines"
    1.34 +    "depending_on"
    1.35      "domains"
    1.36      "elimination"
    1.37 +    "extracting"
    1.38      "file"
    1.39      "files"
    1.40      "fixes"
    1.41 @@ -323,14 +331,19 @@
    1.42      "classes"
    1.43      "classrel"
    1.44      "codatatype"
    1.45 +    "code_generate"
    1.46      "code_library"
    1.47      "code_module"
    1.48 +    "code_syntax_const"
    1.49 +    "code_syntax_tyco"
    1.50 +    "codegen_class"
    1.51      "coinductive"
    1.52      "constdefs"
    1.53      "consts"
    1.54      "consts_code"
    1.55      "datatype"
    1.56      "defaultsort"
    1.57 +    "defined_by"
    1.58      "defs"
    1.59      "extract"
    1.60      "extract_type"
     2.1 --- a/etc/isar-keywords.el	Tue Nov 22 10:09:11 2005 +0100
     2.2 +++ b/etc/isar-keywords.el	Tue Nov 22 12:42:59 2005 +0100
     2.3 @@ -39,8 +39,11 @@
     2.4      "classes"
     2.5      "classrel"
     2.6      "clear_undos"
     2.7 +    "code_generate"
     2.8      "code_library"
     2.9      "code_module"
    2.10 +    "code_syntax_const"
    2.11 +    "code_syntax_tyco"
    2.12      "codegen_class"
    2.13      "coinductive"
    2.14      "commit"
    2.15 @@ -56,6 +59,7 @@
    2.16      "defaultsort"
    2.17      "defer"
    2.18      "defer_recdef"
    2.19 +    "defined_by"
    2.20      "defs"
    2.21      "disable_pr"
    2.22      "display_drafts"
    2.23 @@ -208,13 +212,16 @@
    2.24      "attach"
    2.25      "begin"
    2.26      "binder"
    2.27 +    "code_alias"
    2.28      "compose"
    2.29      "concl"
    2.30      "congs"
    2.31      "constrains"
    2.32      "contains"
    2.33      "defines"
    2.34 +    "depending_on"
    2.35      "distinct"
    2.36 +    "extracting"
    2.37      "file"
    2.38      "files"
    2.39      "fixes"
    2.40 @@ -355,8 +362,11 @@
    2.41      "axioms"
    2.42      "classes"
    2.43      "classrel"
    2.44 +    "code_generate"
    2.45      "code_library"
    2.46      "code_module"
    2.47 +    "code_syntax_const"
    2.48 +    "code_syntax_tyco"
    2.49      "codegen_class"
    2.50      "coinductive"
    2.51      "constdefs"
    2.52 @@ -365,6 +375,7 @@
    2.53      "datatype"
    2.54      "defaultsort"
    2.55      "defer_recdef"
    2.56 +    "defined_by"
    2.57      "defs"
    2.58      "domain"
    2.59      "extract"