equal
deleted
inserted
replaced
544 refer to \<^emph>\<open>all\<close> theories that were used in original session build process. |
544 refer to \<^emph>\<open>all\<close> theories that were used in original session build process. |
545 |
545 |
546 \<^medskip> Options \<^verbatim>\<open>-m\<close> and \<^verbatim>\<open>-U\<close> modify pretty printing and output of Isabelle |
546 \<^medskip> Options \<^verbatim>\<open>-m\<close> and \<^verbatim>\<open>-U\<close> modify pretty printing and output of Isabelle |
547 symbols. The default is for an old-fashioned ASCII terminal at 80 characters |
547 symbols. The default is for an old-fashioned ASCII terminal at 80 characters |
548 per line (76 + 4 characters to prefix warnings or errors). |
548 per line (76 + 4 characters to prefix warnings or errors). |
|
549 |
|
550 \<^medskip> Option \<^verbatim>\<open>-v\<close> prints all messages from the session database, including |
|
551 extra information and tracing messages etc. |
549 \<close> |
552 \<close> |
550 |
553 |
551 subsubsection \<open>Examples\<close> |
554 subsubsection \<open>Examples\<close> |
552 |
555 |
553 text \<open> |
556 text \<open> |