equal
deleted
inserted
replaced
132 * Predefined LaTeX macros for Isabelle symbols \<bind> and \<then> |
132 * Predefined LaTeX macros for Isabelle symbols \<bind> and \<then> |
133 (e.g. see ~~/src/HOL/Library/Monad_Syntax.thy). |
133 (e.g. see ~~/src/HOL/Library/Monad_Syntax.thy). |
134 |
134 |
135 |
135 |
136 *** ML *** |
136 *** ML *** |
|
137 |
|
138 * Antiquotations for ML and document preparation are managed as theory |
|
139 data, which requires explicit setup. |
137 |
140 |
138 * Isabelle_Process.is_active allows tools to check if the official |
141 * Isabelle_Process.is_active allows tools to check if the official |
139 process wrapper is running (Isabelle/Scala/jEdit) or the old TTY loop |
142 process wrapper is running (Isabelle/Scala/jEdit) or the old TTY loop |
140 (better known as Proof General). |
143 (better known as Proof General). |
141 |
144 |