phillord pushed a commit to branch master
in repository elpa.
commit 1b10d1821bddaf37ca0aa0fb9cf1d0a5ba9c0b04
Author: Phillip Lord <phillip.l...@newcastle.ac.uk>
Date: Mon Oct 20 09:07:49 2014 +0100
Further facets added, extensions removed.
max, min, functional and inverse function were missing and have
been added. Alias was my own extension to OMN and has been removed.
---
packages/omn-mode/omn-mode.el | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
diff --git a/packages/omn-mode/omn-mode.el b/packages/omn-mode/omn-mode.el
index ef663bf..1e3e7a6 100644
--- a/packages/omn-mode/omn-mode.el
+++ b/packages/omn-mode/omn-mode.el
@@ -57,7 +57,6 @@ See `imenu-generic-expression' for details")
"AnnotationProperty:"
"DisjointClasses:"
"Prefix:"
- "Alias:"
"owl:Thing"))
(defvar omn-mode-property-keywords
@@ -140,7 +139,11 @@ See `imenu-generic-expression' for details")
"\\<and\\>"
"\\<or\\>"
"\\<exactly\\>"
+ "\\<max\\>"
+ "\\<min\\>"
"Transitive"
+ "Functional"
+ "InverseFunctional"
)
"\\|")
. font-lock-type-face)
