| 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 |