| 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
|
| Sat, 28 Sep 2013 22:47:17 +0200 |
wenzelm |
make SML/NJ more happy;
|
changeset |
files
|
| Sat, 28 Sep 2013 20:24:13 +0200 |
wenzelm |
enforce IsabelleText font for better symbol coverage, especially on Windows;
|
changeset |
files
|
| Sat, 28 Sep 2013 16:36:17 +0200 |
wenzelm |
proper wrapper for parser -- more explicit error;
|
changeset |
files
|