Thu, 29 Jun 2017 14:39:24 +0200 |
wenzelm |
proper hyperlink_command, notably for locate_query;
|
file |
diff |
annotate
|
Thu, 29 Jun 2017 13:28:08 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 13 Jun 2017 15:11:01 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Mon, 12 Jun 2017 15:40:40 +0200 |
wenzelm |
dynamic configuration of prettify-symbols-mode, similar to VSCoq;
|
file |
diff |
annotate
|
Wed, 31 May 2017 17:25:26 +0200 |
wenzelm |
explicit preview request/response;
|
file |
diff |
annotate
|
Tue, 30 May 2017 15:29:42 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Tue, 30 May 2017 14:21:42 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Tue, 30 May 2017 11:50:12 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Tue, 30 May 2017 11:42:18 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Tue, 30 May 2017 11:40:28 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|