src/Doc/Implementation/Isar.thy

 
   When implementing proof methods, it is advisable to study existing
   implementations carefully and imitate the typical ``boiler plate'' for
   context-sensitive parsing and further combinators to wrap-up tactic
   expressions as methods.\<^footnote>\<open>Aliases or abbreviations of the standard method
-  combinators should be avoided. Note that from Isabelle99 until Isabelle2009
-  the system did provide various odd combinations of method syntax wrappers
-  that made applications more complicated than necessary.\<close>
+  combinators should be avoided.\<close>
 \<close>
 
 text %mlref \<open>
   \begin{mldecls}
   @{define_ML_type Proof.method} \\