| Tue, 09 Dec 2014 21:14:11 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 09 Dec 2014 20:00:45 +0100 | wenzelm | more jEdit colors; | changeset | files |
| Tue, 09 Dec 2014 19:52:26 +0100 | wenzelm | proper alt_string markup (cf. 2ceb05ee0331); | changeset | files |
| Tue, 09 Dec 2014 19:39:40 +0100 | wenzelm | tuned spelling; | changeset | files |
| Tue, 09 Dec 2014 19:01:07 +0100 | wenzelm | clarified language context, e.g. relevant for symbol completion within cartouches; | changeset | files |
| Tue, 09 Dec 2014 18:29:45 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 09 Dec 2014 17:40:42 +0100 | wenzelm | proper railsetup; | changeset | files |
| Tue, 09 Dec 2014 16:22:40 +0100 | hoelzl | move topology on enat to Extended_Real, otherwise Jinja_Threads fails | changeset | files |
| Sat, 22 Nov 2014 11:05:41 +0100 | wenzelm | isatest for Mac OS X Yosemite; | changeset | files |
| Mon, 08 Dec 2014 23:06:19 +0100 | wenzelm | tuned spelling; | changeset | files |
| Mon, 08 Dec 2014 22:42:12 +0100 | wenzelm | expand ML cartouches to Input.source; | changeset | files |
| Mon, 08 Dec 2014 16:04:50 +0100 | wenzelm | merged | changeset | files |