factor

Author	SHA1	Message	Date
Slava Pestov	58e55d4f45	Working on documentation	2009-02-19 16:54:27 -06:00
Slava Pestov	6ddf6af2e7	Add A+n, A+p, A+u to navigate hierarchy in browser tool; add common shortcuts to all tools, like F2, A+s, A+q, ...	2009-01-08 19:30:58 -06:00
Slava Pestov	268b995116	Remove the ui word, and ui-hook kludge; with-ui is now the only way to start the UI. ui.tools vocabulary is now runnable	2009-01-07 20:56:09 -06:00
Slava Pestov	bdaa5eac31	Minor UI documentation updates	2009-01-06 23:30:08 -06:00