add_abbr

	# Render an abbreviation.
	fun add_abbr(v: PROCESSOR, name: Text, comment: Text) is abstract

lib/markdown/markdown.nit:690,2--691,66

	redef fun add_abbr(v, name, comment) do
		v.add "<abbr title=\""
		append_value(v, comment)
		v.add "\">"
		v.emit_text(name)
		v.add "</abbr>"
	end

lib/markdown/decorators.nit:131,2--137,4

	redef fun add_abbr(v, name, comment) do
		v.add "<abbr title=\""
		append_value(v, comment)
		v.add "\">"
		v.emit_text(name)
		v.add "</abbr>"
	end

lib/markdown/markdown.nit:840,2--846,4

	redef fun add_abbr(v, name, comment) do
		v.add "\">"
		v.emit_text(name)
		v.add " ("
		append_value(v, comment)
		v.add ")"
	end

lib/markdown/man.nit:136,2--142,4

abstract fun add_abbr(v: PROCESSOR, name: Text, comment: Text)