Re: [isabelle] Display Draft in Jedit



I tried display_drafts "file-name".
I get the error "Bad file name: file-name". I'm using a Mac, maybe that is
the problem.



On Sun, May 20, 2012 at 6:41 PM, Peter Lammich <lammich at in.tum.de> wrote:

> On So, 2012-05-20 at 10:59 +0200, Christine Sherif Rizkallah wrote:
> > Hi,
> >
> > I'm wondering if anyone knows how to display drafts for isabelle files
> > opened in jedit?
> >
>
> Have you tried typing the Isar-command
>  display_drafts "file-name"
>
> Peter
>
>
>
>




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.