Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
updated;
authorwenzelm
Tue, 16 Jul 2002 18:25:48 +0200
changeset 13364d3c7d05d8839
parent 13363 c26eeb000470
child 13365 a2c4faad4d35
updated;
etc/isar-keywords-ZF.el file | annotate | diff | comparison | revisions
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
     1.1 --- a/etc/isar-keywords-ZF.el	Tue Jul 16 16:29:36 2002 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Tue Jul 16 18:25:48 2002 +0200
     1.3 @@ -189,6 +189,7 @@
     1.4      "is"
     1.5      "monos"
     1.6      "notes"
     1.7 +    "open"
     1.8      "output"
     1.9      "overloaded"
    1.10      "recursor_eqns"

     2.1 --- a/etc/isar-keywords.el	Tue Jul 16 16:29:36 2002 +0200
     2.2 +++ b/etc/isar-keywords.el	Tue Jul 16 18:25:48 2002 +0200
     2.3 @@ -202,6 +202,7 @@
     2.4      "monos"
     2.5      "morphisms"
     2.6      "notes"
     2.7 +    "open"
     2.8      "output"
     2.9      "outputs"
    2.10      "overloaded"
wneuper/isa