--- a/src/Pure/Thy/present.ML Fri Dec 03 18:29:49 2010 +0100
+++ b/src/Pure/Thy/present.ML Fri Dec 03 20:02:57 2010 +0100
@@ -489,7 +489,7 @@
-(** draft document output **)
+(** draft document output **) (* FIXME doc_path etc. not thread-safe *)
fun drafts doc_format src_paths =
let