src/Tools/jEdit/src/text_structure.scala
Sun, 04 Dec 2016 13:47:56 +0100 wenzelm more uniform indentation of new line, even if it is empty (relevant for non-proof commands, e.g. 'definition', 'context');
Mon, 21 Nov 2016 14:49:52 +0100 wenzelm skip over inner syntax for indentation;
Wed, 13 Jul 2016 20:04:57 +0200 wenzelm tuned;
Wed, 13 Jul 2016 20:00:56 +0200 wenzelm clarified indentation (amending 37a3fc20154d);
Wed, 13 Jul 2016 19:57:30 +0200 wenzelm tuned;
Wed, 13 Jul 2016 19:50:44 +0200 wenzelm tuned;
Wed, 13 Jul 2016 19:36:47 +0200 wenzelm tuned;
Wed, 13 Jul 2016 19:10:35 +0200 wenzelm clarified indentation of proof commands, notably for "notepad begin", which lacks a head goal;
Wed, 13 Jul 2016 19:04:49 +0200 wenzelm clarified indentation: 'begin' is treated like a separate command without indent;
Wed, 13 Jul 2016 15:19:16 +0200 wenzelm semantic indentation for unstructured proof scripts;
Mon, 11 Jul 2016 20:37:28 +0200 wenzelm indentation of brackets;
Mon, 11 Jul 2016 18:30:07 +0200 wenzelm proper filter;
Mon, 11 Jul 2016 18:18:24 +0200 wenzelm tunes signature;
Mon, 11 Jul 2016 17:53:02 +0200 wenzelm observe comments in indentation, but not in fold structure;
Mon, 11 Jul 2016 16:36:48 +0200 wenzelm clarified indentation;
Mon, 11 Jul 2016 14:25:06 +0200 wenzelm clarified indentation involving 'begin';
Mon, 11 Jul 2016 13:56:30 +0200 wenzelm more robust;
Mon, 11 Jul 2016 10:43:54 +0200 wenzelm more indentation for quasi_command keywords;
Mon, 11 Jul 2016 09:45:10 +0200 wenzelm tuned;
Fri, 08 Jul 2016 22:22:51 +0200 wenzelm indentation in reminiscence to Proof General (see proof-indent.el);
Fri, 08 Jul 2016 09:50:53 +0200 wenzelm tuned;
Thu, 07 Jul 2016 21:58:07 +0200 wenzelm tuned;
Thu, 07 Jul 2016 21:34:56 +0200 wenzelm clarified signature;
Thu, 07 Jul 2016 21:10:12 +0200 wenzelm more operations;
Thu, 07 Jul 2016 20:54:41 +0200 wenzelm clarified modules;
less more (0) tip