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
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"
This archive was generated by a fusion of
Pipermail (Mailman edition) and