factor

Author	SHA1	Message	Date
slava	e520478032	Revised prettyprinter	2006-10-28 06:41:21 +00:00
slava	6143b00434	Presentation cleanups and mouse help	2006-08-26 01:29:23 +00:00
slava	e4ae52028f	edit fixes, new :edit word	2006-08-25 04:02:30 +00:00
slava	4a79d7ccb5	jedit moved to contrib, generic hookable edit word	2006-08-25 03:19:22 +00:00
slava	84e70ecb73	More work on the definition protocol	2006-08-02 20:53:26 +00:00
slava	11ba560c6d	Definition protocol	2006-08-02 19:17:13 +00:00