Slava Pestov 00c4b2d09b various cleanups, better memory signal handler		2004-10-17 23:01:16 +00:00
..
jedit-local.factor	fix some overflow issues	2004-08-27 02:21:17 +00:00
jedit-no-local.factor	completion popups for shuffle defs	2004-08-20 06:08:20 +00:00
jedit-remote.factor	read1 stream operation added, inferior.factor styled text communication protocol	2004-08-22 05:46:26 +00:00
jedit.factor	various cleanups, better memory signal handler	2004-10-17 23:01:16 +00:00