@@ -277,7 +277,7 @@ List of all DocBook tags, with [x] indicating implemented,
278[x] para - A paragraph
278[x] para - A paragraph
279[ ] paramdef - Information about a function parameter in a programming language
279[ ] paramdef - Information about a function parameter in a programming language
280−[ ] parameter - A value or a symbolic reference to a value
280+[x] parameter - A value or a symbolic reference to a value
281[ ] part - A division in a book
281[ ] part - A division in a book
282[ ] partinfo - Meta-information for a Part
282[ ] partinfo - Meta-information for a Part
283[ ] partintro - An introduction to the contents of a part
283[ ] partintro - An introduction to the contents of a part
@@ -301,7 +301,7 @@ List of all DocBook tags, with [x] indicating implemented,
301[ ] productnumber - A number assigned to a product
301[ ] productnumber - A number assigned to a product
302[x] programlisting - A literal listing of all or part of a program
302[x] programlisting - A literal listing of all or part of a program
303[ ] programlistingco - A program listing with associated areas used in callouts
303[ ] programlistingco - A program listing with associated areas used in callouts
304−[ ] prompt - A character or string indicating the start of an input field in
304+[x] prompt - A character or string indicating the start of an input field in
305 a computer display
305 a computer display
306[ ] property - A unit of data associated with some part of a computer system
306[ ] property - A unit of data associated with some part of a computer system
307[ ] pubdate - The date of publication of a document
307[ ] pubdate - The date of publication of a document
@@ -780,6 +780,8 @@ parseInline (Elem e) =
780 "code" -> return $ code $ strContent e -- TODO attrs
780 "code" -> return $ code $ strContent e -- TODO attrs
781 "filename" -> return $ codeWith ("",["filename"],[]) $ strContent e -- TODO attrs
781 "filename" -> return $ codeWith ("",["filename"],[]) $ strContent e -- TODO attrs
782 "literal" -> return $ code $ strContent e -- TODO attrs
782 "literal" -> return $ code $ strContent e -- TODO attrs
783+ "prompt" -> return $ codeWith ("",["prompt"],[]) $ strContent e -- TODO attrs
784+ "parameter" -> return $ codeWith ("",["parameter"],[]) $ strContent e -- TODO attrs
783 "option" -> return $ codeWith ("",["option"],[]) $ strContent e -- TODO attrs
785 "option" -> return $ codeWith ("",["option"],[]) $ strContent e -- TODO attrs
784 "optional" -> do x <- getInlines e
786 "optional" -> do x <- getInlines e
785 return $ str "[" <> x <> str "]"
787 return $ str "[" <> x <> str "]"