| Mon, 30 Sep 2013 11:20:24 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 29 Sep 2013 18:51:01 +0200 |
wenzelm |
explicit caret position after replacement;
|
changeset |
files
|
| Sun, 29 Sep 2013 16:01:22 +0200 |
haftmann |
tuned proofs
|
changeset |
files
|
| Sun, 29 Sep 2013 14:07:47 +0200 |
wenzelm |
observe user preferences;
|
changeset |
files
|
| Sun, 29 Sep 2013 13:53:16 +0200 |
wenzelm |
updated for release;
|
changeset |
files
|
| Sun, 29 Sep 2013 12:56:50 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 29 Sep 2013 12:49:47 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 29 Sep 2013 12:44:40 +0200 |
wenzelm |
more on text completion;
|
changeset |
files
|
| Sun, 29 Sep 2013 12:21:11 +0200 |
wenzelm |
made SML/NJ happy (NB: toplevel ML environment is unmanaged);
|
changeset |
files
|
| Sun, 29 Sep 2013 12:18:47 +0200 |
wenzelm |
updated for release;
|
changeset |
files
|
| Sun, 29 Sep 2013 12:17:02 +0200 |
wenzelm |
updated for release;
|
changeset |
files
|
| Sun, 29 Sep 2013 11:59:01 +0200 |
wenzelm |
updated to sumatra_pdf-2.3.2;
|
changeset |
files
|
| Sun, 29 Sep 2013 11:21:02 +0200 |
wenzelm |
low-priority print task is always asynchronous -- relevant for single-core machine and automatically tried tools;
|
changeset |
files
|
| Sun, 29 Sep 2013 00:15:05 +0200 |
wenzelm |
backout c6297fa1031a -- strange parsers are required to make this work;
|
changeset |
files
|