[isabelle-dev] display_draft

[Mamoun FILALI-AMINE]

Hello,

I use the snapshot:
  Unofficial version of Isabelle/HOL (Isabelle repository snapshot 
94b74365ceb9 (23-Mar-2009))
  See also http://isabelle.in.tum.de/repos/isabelle/log/94b74365ceb9
  (with polyml-5.2.1)

I have the following problem with the isabelle command display draft:

*** exception Io {name = "/tmp/isabelle-filali56937/document/syms.lst", 
cause = SysErr ("Cannot open", SOME ENOENT), function = "TextIO.openIn"} 
raised
*** At command "display_drafts".