Thu, 04 Mar 2021 15:41:46 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
Wed, 03 Mar 2021 22:48:46 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
Mon, 01 Mar 2021 23:26:55 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
Mon, 01 Mar 2021 23:17:47 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
Fri, 08 Jan 2021 16:36:20 +0100 |
wenzelm |
clarified: command keyword position is sufficient (amending 693a39f2cddc);
|
file |
diff |
annotate
|
Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
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
|