
diff -r e2e805678fb0 -r 8939b8fd8603 CookBook/Recipes/Antiquotes.thy
--- a/CookBook/Recipes/Antiquotes.thy	Wed Mar 18 18:32:31 2009 +0100
+++ b/CookBook/Recipes/Antiquotes.thy	Wed Mar 18 23:52:51 2009 +0100
@@ -7,6 +7,8 @@
 section {* Useful Document Antiquotations *}
 
 text {*
+  (FIXME: update to to new antiquotation setup)
+
   {\bf Problem:} 
   How to keep your ML-code inside a document synchronised with the actual code?\smallskip
 




