doc-src/IsarImplementation/Thy/document/logic.tex

--- a/doc-src/IsarImplementation/Thy/document/logic.tex	Mon Oct 09 19:37:07 2006 +0200
+++ b/doc-src/IsarImplementation/Thy/document/logic.tex	Mon Oct 09 20:12:42 2006 +0200
@@ -775,6 +775,12 @@
 }
 \isamarkuptrue%
 %
+\isadelimFIXME
+%
+\endisadelimFIXME
+%
+\isatagFIXME
+%
 \begin{isamarkuptext}%
 FIXME
 
@@ -857,6 +863,13 @@
 \end{isamarkuptext}%
 \isamarkuptrue%
 %
+\endisatagFIXME
+{\isafoldFIXME}%
+%
+\isadelimFIXME
+%
+\endisadelimFIXME
+%
 \isadelimtheory
 %
 \endisadelimtheory