[ jEdit-CVS ] CVS update: jEdit/doc/users-guide

[Slava P. <sp...@us...>]

Date:	Saturday December 1, 2001 @ 23:34
Author:	spestov

Update of /cvsroot/jedit/jEdit/doc/users-guide
In directory usw-pr-cvs1:/tmp/cvs-serv25665/doc/users-guide

Modified Files:
	customizing.xml host-design.xml shortcuts.xml source-edit.xml 
	text-edit.xml 
Log Message:
Documentation updates; incremental search for word/hypersearch for word
commands; bug fixes and tweaks