| Tue, 20 Dec 2016 08:53:26 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 24 Oct 2016 12:16:12 +0200 |
wenzelm |
discontinued unused / untested distinction of separate PIDE modules;
|
file |
diff |
annotate
|
| Mon, 11 Jul 2016 20:37:28 +0200 |
wenzelm |
indentation of brackets;
|
file |
diff |
annotate
|
| Sat, 02 Apr 2016 14:17:03 +0200 |
wenzelm |
more robust display of bidirectional Unicode text: enforce left-to-right;
|
file |
diff |
annotate
|
| Thu, 08 Jan 2015 20:56:39 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 26 May 2014 13:29:16 +0200 |
wenzelm |
capitalize even more carefully (see 5ac67041ccf8), e.g. relevant for option "z3_non_commercial" and prospective "MaSh";
|
file |
diff |
annotate
|
| Tue, 29 Apr 2014 20:40:44 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 26 Apr 2014 14:00:49 +0200 |
wenzelm |
clarified PIDE modules;
|
file |
diff |
annotate
|
| Sat, 26 Apr 2014 13:50:25 +0200 |
wenzelm |
clarified;
|
file |
diff |
annotate
|
| Sat, 26 Apr 2014 13:18:46 +0200 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
| Thu, 17 Apr 2014 10:58:10 +0200 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Thu, 17 Apr 2014 10:54:10 +0200 |
wenzelm |
capitalize more carefully, e.g. relevant for option "ML_exception_trace";
|
file |
diff |
annotate
|
| Wed, 16 Apr 2014 12:32:36 +0200 |
wenzelm |
capitalize fully (like in Emacs);
|
file |
diff |
annotate
|
| Wed, 16 Apr 2014 12:26:12 +0200 |
wenzelm |
clarified word case;
|
file |
diff |
annotate
|
| Wed, 16 Apr 2014 11:52:26 +0200 |
wenzelm |
more specific support for sequence of words;
|
file |
diff |
annotate
|
| Wed, 16 Apr 2014 09:38:40 +0200 |
wenzelm |
tuned signature -- separate module Word;
|
file |
diff |
annotate
|