changeset 27238 | d2bf12727c8a |
parent 25370 | 8b1aa4357320 |
child 40406 | 313a24b66a8d |
--- a/doc-src/TutorialI/Protocol/document/Message.tex Mon Jun 16 17:54:51 2008 +0200 +++ b/doc-src/TutorialI/Protocol/document/Message.tex Mon Jun 16 17:56:08 2008 +0200 @@ -1515,19 +1515,6 @@ % \endisadelimML % -\isadelimML -% -\endisadelimML -% -\isatagML -% -\endisatagML -{\isafoldML}% -% -\isadelimML -% -\endisadelimML -% \isadelimproof % \endisadelimproof