# HG changeset patch
# User wenzelm
# Date 1705755156 -3600
# Node ID bce98b5dfec691dd52322d1413a9d0aeab8e99bd
# Parent  ae20766492c4e3b0a5a9cf7832cccb294a9acbb5
obsolete (see also fc88b943e1b2);

diff -r ae20766492c4 -r bce98b5dfec6 src/Doc/Implementation/Isar.thy
--- a/src/Doc/Implementation/Isar.thy	Sat Jan 20 13:42:16 2024 +0100
+++ b/src/Doc/Implementation/Isar.thy	Sat Jan 20 13:52:36 2024 +0100
@@ -265,9 +265,7 @@
   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>