 	    "\\)"
 	    "[^-_?a-z0-9A-Z,:\"}`\n]+") )
 
-;; other reserved symbols:
+;; reserved symbols:
 (defconst specware-keywords
     '(
    ;; core specware:
       "as"
+      "axiom"
       "by"
       "case"
       "choose"
       "colimit"
+      "conjecture"
+      "def"
+      "diagram"
       "else"
       "embed"
       "embed?"

      "infixr"
      "is"
      "let"
      "obligations"
      "of"
      "qualifying"
      "quotient"
      "then"
      "translate"
      "true"
   ;; accord extension:
      "arcs"
      "compile"
      "cond"
      "do"
      "end"
      "end-diagram"

		      specware-keywords-regexp
		      "\\)" symbol-sep)
	      1 'font-lock-reserved-word-face 'keep)
	"&&" "||" "=>" "=" "~=" "~" "<" ">" "->" "<-" ";" ":" "::" ":=" "|" "_"
	"+->" "\\." "!" "*" "<<"           ; no? "}" "{" "]" "\\[" "(" ")"
;;;	; Fixed width if % followed by 2 spaces, %%%, tab, or space--- or nothing
;;;	'("\\(%+\\(  \\|%%%\\|\t\\| \t\\| ---\\|---\\|$\\).*$\\)"
;;;	  1 font-lock-fixed-width-comment-face t)
