factor

Author	SHA1	Message	Date
Slava Pestov	903a6fbbc5	help.tips: use write-object to write heading so that right-clicking on "Tip of the day" and picking Edit works	2009-03-26 21:28:09 -05:00
Slava Pestov	0eb415b671	Tips of the day now implement the definition protocol	2009-03-26 13:02:28 -05:00
Slava Pestov	7741d2ca23	- definitions.icons now has a reference article - move about to help.vocabs; it now opens the vocab browser instead - help.vocabs is in default use list - add runnable-vocab predicate class	2009-03-24 09:11:45 -05:00
Slava Pestov	637d06a4f8	Add silly 'tip of the day' feature, and 'recently visited' list to UI browser home page	2009-03-24 04:11:08 -05:00