| Wed, 01 Dec 2010 20:34:40 +0100 | wenzelm | more abstract/uniform handling of time, preferring seconds as Double; | file | diff | annotate |
| Tue, 16 Nov 2010 15:29:01 +0100 | wenzelm | post raw messages last, to ensure that result has been handled by session actor already (e.g. to avoid race between Session.session_actor and Session_Dockable.main_actor); | file | diff | annotate |
| Sat, 13 Nov 2010 22:33:07 +0100 | wenzelm | somewhat adhoc replacement for 'thus' and 'hence'; | file | diff | annotate |
| Thu, 11 Nov 2010 17:07:05 +0100 | wenzelm | unified type Document.Edit; | file | diff | annotate |
| Thu, 11 Nov 2010 16:48:46 +0100 | wenzelm | replaced Document.Node_Text_Edit by Document.Text_Edit, with treatment of deleted nodes; | file | diff | annotate |
| Sat, 25 Sep 2010 16:22:27 +0200 | wenzelm | simplified / clarified Session.Phase; | file | diff | annotate |
| Sat, 25 Sep 2010 13:57:34 +0200 | wenzelm | tuned signature; | file | diff | annotate |