- (enriched-auto-save-interval, enriched-downcase-annotations,
- enriched-code-face, enriched-indenatation-face,
- enriched-ignored-ok, enriched-encode-interesting-regexp,
- enriched-decode-special-alist, enriched-decode-interesting-regexp,
- enriched-encode-special-alist, enriched-translated,
- enriched-ignored-list, enriched-open-ans,
- enriched-encode-hard-newline, enriched-decode-hard-newline,
- enriched-push, enriched-pop, enriched-which-assoc,
- enriched-get-face-attribute, enriched-overlays-overlapping,
- enriched-show-codes, enriched-show-margin-codes,
- enriched-show-region-as-code, enriched-nogrow-hook, enriched-warn,
- enriched-looking-at-with-props,
- enriched-search-forward-with-props,
- enriched-search-backward-with-props,
- enriched-text-properties-include, enriched-tag-indentation,
- enriched-open-annotation, enriched-close-annotation,
- enriched-annotate-function, enriched-delete-indentation,
- enriched-move-to-next-property-change): Deleted.
-
- (enriched-delq-1, enriched-make-list-uniq,
- enriched-make-relatively-unique, enriched-common-tail,
- enriched-reorder, enriched-insert-annotations,
- enriched-loc-annotations, enriched-annotate-change,
- enriched-encode-unknown): Moved to format.el. Names changed.
+ (enriched-auto-save-interval, enriched-downcase-annotations)
+ (enriched-code-face, enriched-indenatation-face)
+ (enriched-ignored-ok, enriched-encode-interesting-regexp)
+ (enriched-decode-special-alist, enriched-decode-interesting-regexp)
+ (enriched-encode-special-alist, enriched-translated)
+ (enriched-ignored-list, enriched-open-ans)
+ (enriched-encode-hard-newline, enriched-decode-hard-newline)
+ (enriched-push, enriched-pop, enriched-which-assoc)
+ (enriched-get-face-attribute, enriched-overlays-overlapping)
+ (enriched-show-codes, enriched-show-margin-codes)
+ (enriched-show-region-as-code, enriched-nogrow-hook, enriched-warn)
+ (enriched-looking-at-with-props)
+ (enriched-search-forward-with-props)
+ (enriched-search-backward-with-props)
+ (enriched-text-properties-include, enriched-tag-indentation)
+ (enriched-open-annotation, enriched-close-annotation)
+ (enriched-annotate-function, enriched-delete-indentation)
+ (enriched-move-to-next-property-change): Delete.
+
+ (enriched-delq-1, enriched-make-list-uniq)
+ (enriched-make-relatively-unique, enriched-common-tail)
+ (enriched-reorder, enriched-insert-annotations)
+ (enriched-loc-annotations, enriched-annotate-change
+ (enriched-encode-unknown): Move to format.el. Names changed.