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