| Sat, 17 Sep 2011 16:00:54 +0200 | wenzelm | ignore OUTPUT to avoid spam -- jEdit menu "Troubleshooting / Activity Log" should be sufficient; | changeset | files |
| Sat, 17 Sep 2011 15:08:55 +0200 | haftmann | dropped unused argument – avoids problem with SML/NJ | changeset | files |
| Sat, 17 Sep 2011 00:40:27 +0200 | haftmann | tuned spacing | changeset | files |