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