| Thu, 12 Jan 2017 12:29:12 +0100 |
wenzelm |
more robust: delay switches thread context from timer to GUI and may get out of sync with revoke operation;
|
changeset |
files
|
| Thu, 12 Jan 2017 11:20:40 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Thu, 12 Jan 2017 11:17:05 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 11 Jan 2017 22:30:11 +0100 |
haftmann |
improved chart plotting
|
changeset |
files
|
| Wed, 11 Jan 2017 22:08:20 +0100 |
haftmann |
augmented user aliasses
|
changeset |
files
|
| Wed, 11 Jan 2017 21:32:46 +0100 |
haftmann |
proper treatment of utf-8
|
changeset |
files
|
| Wed, 11 Jan 2017 20:15:17 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 11 Jan 2017 20:01:55 +0100 |
wenzelm |
support for semantic completion;
|
changeset |
files
|
| Wed, 11 Jan 2017 16:43:31 +0100 |
blanchet |
generalized types in lemmas
|
changeset |
files
|
| Wed, 11 Jan 2017 16:28:48 +0100 |
wenzelm |
updated package;
|
changeset |
files
|
| Wed, 11 Jan 2017 16:25:15 +0100 |
wenzelm |
enable vscode_unicode_symbols by default, despite asymmetry of input and output;
|
changeset |
files
|
| Wed, 11 Jan 2017 16:11:39 +0100 |
wenzelm |
more documentation;
|
changeset |
files
|
| Wed, 11 Jan 2017 16:01:19 +0100 |
wenzelm |
generated configuration for Prettify Symbols Mode;
|
changeset |
files
|
| Wed, 11 Jan 2017 14:48:07 +0100 |
wenzelm |
tuned;
|
changeset |
files
|