| Sat, 28 Jun 2014 22:13:23 +0200 | haftmann | tracing facilities for the code generator preprocessor | changeset | files |
| Sat, 28 Jun 2014 22:13:21 +0200 | haftmann | tuned interface | changeset | files |
| Sat, 28 Jun 2014 22:13:20 +0200 | haftmann | corrected handled exception | changeset | files |
| Sat, 28 Jun 2014 21:09:17 +0200 | haftmann | proper trading of variables; | changeset | files |
| Sat, 28 Jun 2014 21:09:15 +0200 | haftmann | modernized | changeset | files |
| Sat, 28 Jun 2014 18:02:33 +0200 | wenzelm | jedit_completion_immediate is enabled by default: let all users participate in slightly more ambitious symbol insertion; | changeset | files |
| Sat, 28 Jun 2014 17:54:34 +0200 | wenzelm | removed slightly odd fall-back on complete-word (NB: connection to default menu action is unclear); | changeset | files |