| Tue, 31 Jul 2018 21:21:20 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 06 Nov 2017 16:03:13 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 23 Jun 2017 22:21:11 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 23 Jun 2017 16:16:41 +0200 | wenzelm | indent = 0 for blank lines: produce less whitespace by default; | file | diff | annotate |
| Fri, 23 Jun 2017 15:46:25 +0200 | wenzelm | clarified prev_line: stop at blank line; | file | diff | annotate |
| Fri, 23 Jun 2017 14:38:32 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 23 Jun 2017 14:24:48 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 23 Jun 2017 11:55:33 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Thu, 12 Jan 2017 11:17:05 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 20 Dec 2016 21:35:56 +0100 | wenzelm | clarified module name; | file | diff | annotate |
| 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'); | file | diff | annotate |
| Mon, 21 Nov 2016 14:49:52 +0100 | wenzelm | skip over inner syntax for indentation; | file | diff | annotate |
| Wed, 13 Jul 2016 20:04:57 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 13 Jul 2016 20:00:56 +0200 | wenzelm | clarified indentation (amending 37a3fc20154d); | file | diff | annotate |
| Wed, 13 Jul 2016 19:57:30 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 13 Jul 2016 19:50:44 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 13 Jul 2016 19:36:47 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 13 Jul 2016 19:10:35 +0200 | wenzelm | clarified indentation of proof commands, notably for "notepad begin", which lacks a head goal; | file | diff | annotate |
| Wed, 13 Jul 2016 19:04:49 +0200 | wenzelm | clarified indentation: 'begin' is treated like a separate command without indent; | file | diff | annotate |
| Wed, 13 Jul 2016 15:19:16 +0200 | wenzelm | semantic indentation for unstructured proof scripts; | file | diff | annotate |
| Mon, 11 Jul 2016 20:37:28 +0200 | wenzelm | indentation of brackets; | file | diff | annotate |
| Mon, 11 Jul 2016 18:30:07 +0200 | wenzelm | proper filter; | file | diff | annotate |
| Mon, 11 Jul 2016 18:18:24 +0200 | wenzelm | tunes signature; | file | diff | annotate |
| Mon, 11 Jul 2016 17:53:02 +0200 | wenzelm | observe comments in indentation, but not in fold structure; | file | diff | annotate |
| Mon, 11 Jul 2016 16:36:48 +0200 | wenzelm | clarified indentation; | file | diff | annotate |
| Mon, 11 Jul 2016 14:25:06 +0200 | wenzelm | clarified indentation involving 'begin'; | file | diff | annotate |
| Mon, 11 Jul 2016 13:56:30 +0200 | wenzelm | more robust; | file | diff | annotate |
| Mon, 11 Jul 2016 10:43:54 +0200 | wenzelm | more indentation for quasi_command keywords; | file | diff | annotate |
| Mon, 11 Jul 2016 09:45:10 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 08 Jul 2016 22:22:51 +0200 | wenzelm | indentation in reminiscence to Proof General (see proof-indent.el); | file | diff | annotate |
| Fri, 08 Jul 2016 09:50:53 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 07 Jul 2016 21:58:07 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 07 Jul 2016 21:34:56 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Thu, 07 Jul 2016 21:10:12 +0200 | wenzelm | more operations; | file | diff | annotate |
| Thu, 07 Jul 2016 20:54:41 +0200 | wenzelm | clarified modules; | file | diff | annotate | base |