equal
deleted
inserted
replaced
121 * Predefined LaTeX macros for Isabelle symbols \<bind> and \<then> |
121 * Predefined LaTeX macros for Isabelle symbols \<bind> and \<then> |
122 (e.g. see ~~/src/HOL/Library/Monad_Syntax.thy). |
122 (e.g. see ~~/src/HOL/Library/Monad_Syntax.thy). |
123 |
123 |
124 |
124 |
125 *** ML *** |
125 *** ML *** |
|
126 |
|
127 * Isabelle_Process.is_active allows tools to check if the official |
|
128 process wrapper is running (Isabelle/Scala/jEdit) or the old TTY loop |
|
129 (better known as Proof General). |
126 |
130 |
127 * Structure Proof_Context follows standard naming scheme. Old |
131 * Structure Proof_Context follows standard naming scheme. Old |
128 ProofContext is still available for some time as legacy alias. |
132 ProofContext is still available for some time as legacy alias. |
129 |
133 |
130 * Structure Timing provides various operations for timing; supersedes |
134 * Structure Timing provides various operations for timing; supersedes |