# HG changeset patch # User haftmann # Date 1192170717 -7200 # Node ID 730d74336b4dca69d4e18f664626a43eca16fb55 # Parent ebd5f4cc7118fb8f11da5df8a378b33e7bdcdc7d updated diff -r ebd5f4cc7118 -r 730d74336b4d etc/isar-keywords.el --- a/etc/isar-keywords.el Fri Oct 12 08:25:48 2007 +0200 +++ b/etc/isar-keywords.el Fri Oct 12 08:31:57 2007 +0200 @@ -45,11 +45,11 @@ "code_datatype" "code_deps" "code_exception" + "code_include" "code_instance" "code_library" "code_module" "code_modulename" - "code_moduleprolog" "code_monad" "code_props" "code_reserved" @@ -420,11 +420,11 @@ "code_const" "code_datatype" "code_exception" + "code_include" "code_instance" "code_library" "code_module" "code_modulename" - "code_moduleprolog" "code_monad" "code_props" "code_reserved" diff -r ebd5f4cc7118 -r 730d74336b4d lib/jedit/isabelle.xml --- a/lib/jedit/isabelle.xml Fri Oct 12 08:25:48 2007 +0200 +++ b/lib/jedit/isabelle.xml Fri Oct 12 08:31:57 2007 +0200 @@ -75,11 +75,11 @@ code_datatype code_exception + code_include code_instance code_library code_module code_modulename - code_moduleprolog code_monad code_props code_reserved