| #
1c5fcd61 |
|
20-Dec-2016 |
wenzelm <none@none> |
clarified modules;
|
| #
3ee6c0a8 |
|
23-Oct-2016 |
wenzelm <none@none> |
discontinued unused / untested distinction of separate PIDE modules;
|
| #
a178852e |
|
11-Jul-2016 |
wenzelm <none@none> |
indentation of brackets;
|
| #
c3febf30 |
|
02-Apr-2016 |
wenzelm <none@none> |
more robust display of bidirectional Unicode text: enforce left-to-right;
|
| #
7908f989 |
|
08-Jan-2015 |
wenzelm <none@none> |
tuned;
|
| #
23083fbe |
|
26-May-2014 |
wenzelm <none@none> |
capitalize even more carefully (see 5ac67041ccf8), e.g. relevant for option "z3_non_commercial" and prospective "MaSh";
|
| #
3c615ba8 |
|
29-Apr-2014 |
wenzelm <none@none> |
tuned;
|
| #
2ad102f9 |
|
26-Apr-2014 |
wenzelm <none@none> |
clarified PIDE modules;
|
| #
95702447 |
|
26-Apr-2014 |
wenzelm <none@none> |
clarified;
|
| #
88c425ff |
|
26-Apr-2014 |
wenzelm <none@none> |
tuned headers;
|
| #
5ba32793 |
|
17-Apr-2014 |
wenzelm <none@none> |
unused;
|
| #
2354c95b |
|
17-Apr-2014 |
wenzelm <none@none> |
capitalize more carefully, e.g. relevant for option "ML_exception_trace";
|
| #
7ac0a674 |
|
15-Apr-2014 |
wenzelm <none@none> |
capitalize fully (like in Emacs);
|
| #
615c6f62 |
|
15-Apr-2014 |
wenzelm <none@none> |
clarified word case;
more robust treatment of codepoints;
|
| #
6ab94b2a |
|
16-Apr-2014 |
wenzelm <none@none> |
more specific support for sequence of words;
|
| #
b7c9db27 |
|
16-Apr-2014 |
wenzelm <none@none> |
tuned signature -- separate module Word;
|