| Mon, 23 Aug 2010 11:17:13 +0200 | haftmann | dropped type classes mult_mono and mult_mono1; tuned names of technical rule duplicates | changeset | files |
| Mon, 23 Aug 2010 17:45:06 +0200 | wenzelm | Document_Model.token_marker: lock jEdit buffer here, which is presumably a critical spot (the model is not necessarily accessed from the Swing thread); | changeset | files |
| Mon, 23 Aug 2010 17:35:47 +0200 | wenzelm | sporadic locking of jEdit buffer; | changeset | files |
| Mon, 23 Aug 2010 16:53:22 +0200 | wenzelm | main session actor as independent thread, to avoid starvation via regular worker pool; | changeset | files |
| Mon, 23 Aug 2010 16:50:09 +0200 | wenzelm | optional daemon flag; | changeset | files |
| Mon, 23 Aug 2010 16:13:13 +0200 | wenzelm | tuned; | changeset | files |