isabelle: Changelog

wenzelm [Sat, 18 Oct 2014 21:26:01 +0200] rev 58701

make double-sure that line context is present, e.g. relevant for last line after visible text;

wenzelm [Sat, 18 Oct 2014 20:56:16 +0200] rev 58700

clarified Line_Structure wrt. command span;

wenzelm [Sat, 18 Oct 2014 11:19:34 +0200] rev 58699

tuned signature;

wenzelm [Sat, 18 Oct 2014 10:50:40 +0200] rev 58698

tuned signature;

wenzelm [Sat, 18 Oct 2014 10:32:19 +0200] rev 58697

tuned signature;

wenzelm [Thu, 16 Oct 2014 21:24:42 +0200] rev 58696

more explicit Line_Nesting;

wenzelm [Thu, 16 Oct 2014 12:24:19 +0200] rev 58695

tuned comments;

wenzelm [Thu, 16 Oct 2014 12:09:57 +0200] rev 58694

support line context with depth; basic setup for "isabelle" fold handling; misc tuning;

wenzelm [Thu, 16 Oct 2014 10:59:43 +0200] rev 58693

proper type comparison (amending cd4439d8799c);

wenzelm [Thu, 16 Oct 2014 10:43:34 +0200] rev 58692

tuned;

isabelle