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"

Peter








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