src/Tools/jEdit/src/fold_handling.scala
2016-12-20 wenzelm 2016-12-20 clarified module name;
2016-07-12 wenzelm 2016-07-12 tuned;
2016-07-12 wenzelm 2016-07-12 tuned signature;
2014-10-21 wenzelm 2014-10-21 support for structure matching; misc tuning;
2014-10-18 wenzelm 2014-10-18 clarified Line_Structure wrt. command span;
2014-10-18 wenzelm 2014-10-18 tuned signature;
2014-10-16 wenzelm 2014-10-16 more explicit Line_Nesting;
2014-10-16 wenzelm 2014-10-16 support line context with depth; basic setup for "isabelle" fold handling; misc tuning;
2014-10-16 wenzelm 2014-10-16 tuned;
2014-04-15 wenzelm 2014-04-15 more robust JEdit_Lib.line_range, according to usual jEdit confusion at end of last line;
2013-08-07 wenzelm 2013-08-07 more elementary list structures for markup tree traversal;
2013-02-22 wenzelm 2013-02-22 updated headers;
2012-12-15 wenzelm 2012-12-15 fold handling within Pretty_Text_Area, based on formal document content, which is static here; fold subgoals;