doc-src/IsarRef/syntax.tex

   printed in their fully qualified internal form.
 \item[$eta_contract = bool$] prints terms in $\eta$-contracted form.
 \item[$display = bool$] indicates if the text is to be output as multi-line
   ``display material'', rather than a small piece of text without line breaks
   (which is the default).
+\item[$breaks = bool$] controls line breaks in non-display material.
 \item[$quotes = bool$] indicates if the output should be enclosed in double
   quotes.
 \item[$mode = name$] adds $name$ to the print mode to be used for presentation
   (see also \cite{isabelle-ref}).  Note that the standard setup for {\LaTeX}
   output is already present by default, including the modes ``$latex$'',