anchor.diff:  				  )
      ;;
      :pragma-delimiters           '(("proof" "end-proof" nil nil)) 
  -					; Not recusive, to avoid problems when the word "proof" appears 
  -					;  inside an extended comment.
  -					; Not ok to terminate with eof -- that's a hack for the latex stuff.
  +					; First nil:  Not recusive, to avoid problems when the word "proof" appears 
  +					;             inside an extended comment.
  +					; Second nil: Not ok to terminate with eof -- that's a hack for the latex stuff.
      ;;
      :case-sensitive?             t
      ;;
  
positive.code:    :size-of-character-set       128
     ;;
     :word-symbol-start-chars     "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz"
     :word-symbol-continue-chars  "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz?0123456789'"
     ;;
     :non-word-symbol-start-chars    "!@$^&*~+-=|<>/:\\`?'"  ; note: we need to repeat \ here, since lisp removes one
     :non-word-symbol-continue-chars "!@$^&*~+-=|<>/:\\`?'"  ; note: we need to repeat \ here, since lisp removes one
     ;;
     :number-start-chars          "0123456789"
     :number-continue-chars       "0123456789"
  
negative.code: 				  ;; #\'                   ; apostrophe
  				  )
  
     :ad-hoc-keywords             '("end-spec" ".." "reduce" "expand") 
     :ad-hoc-symbols              '("reduce" "expand")                 
     :ad-hoc-numbers              '()
     ;;
     :comment-to-eol-chars        "%"
  