[isabelle-dev] display_draft

Mamoun FILALI-AMINE filali at irit.fr
Sat Mar 28 05:09:06 CET 2009


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"} 
*** At command "display_drafts".

More information about the isabelle-dev mailing list