2 Commits (b12d53938d0b8758f86ced10c86bcfd05c9abbe4)

Author	SHA1	Message	Date
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