Re: [isabelle] Display Draft in Jedit

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 MHonArc.