John Benediktsson
|
498285d7dd
|
unicode: make this the API for all unicode things.
|
2016-03-30 23:29:48 -07:00 |
|
John Benediktsson
|
1ce1e2d27e
|
help.apropos: remove extra whitespace.
|
2015-04-17 18:04:08 -07:00 |
Doug Coleman
|
425846298c
|
issue #358: Rename apropos tuple -> apropos-search.
|
2012-06-21 08:35:39 -07:00 |
|
Doug Coleman
|
dd824bf0e5
|
Display articles in history better. Fixes issue #29.
Define a default method on article-name to call article-title.
|
2011-09-09 18:49:31 -07:00 |
|
Doug Coleman
|
9b97f22b92
|
Make print-topic print a newline and adjust usages elsewhere. Reported by mrjbq7.
|
2011-04-10 14:18:35 -05:00 |
otoburb
|
61096c1657
|
basis/help/apropos: Added unicode.categories. Missing from previous commit.
|
2011-03-14 01:21:56 +00:00 |
|
otoburb
|
e4bf5f104e
|
basis/help/apropos: Trimming whitespace before and after search query. Allows accidental/reflex whitespace to be corrected so results can still be returned.
|
2011-03-14 01:21:56 +00:00 |
|
John Benediktsson
|
0701a68760
|
help.apropos: some cleanup and performance improvement.
|
2010-08-13 19:32:49 -07:00 |
Slava Pestov
|
bd7be6f7b8
|
help.home: don't flip out if an article in the recent list does not exist. Fixes problem where forgetting a vocab screws up help browser
|
2010-02-09 22:21:05 +13:00 |
|
Slava Pestov
|
b551721dd9
|
Minor cosmetic fixes
|
2009-11-10 21:48:00 -06:00 |
Slava Pestov
|
daed003f33
|
vocabs.hierarchy: more refactoring, update existing code for new API
|
2009-07-06 04:55:23 -05:00 |
|
Slava Pestov
|
b2c3183b21
|
Split up tools.vocabs. Note that load-everything is now named load-all
|
2009-05-04 06:44:17 -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 |