John Benediktsson
|
498285d7dd
|
unicode: make this the API for all unicode things.
|
2016-03-30 23:29:48 -07:00 |
Doug Coleman
|
d3bc2035a2
|
factor: remove rest of double paren words.
|
2016-03-25 03:13:27 -07:00 |
John Benediktsson
|
de9094b8d5
|
tools.which: add a convenience for "which or".
|
2015-06-01 09:11:19 -07:00 |
John Benediktsson
|
be1a8d085d
|
tools.which: enable use from command-line.
|
2015-04-01 14:22:11 -07:00 |
John Benediktsson
|
233e84bdf4
|
tools.which: cleanup code a little.
|
2013-01-11 11:37:59 -08:00 |
John Benediktsson
|
00584264d5
|
tools.which: adding some docs and cleanup.
|
2013-01-11 10:20:19 -08:00 |
John Benediktsson
|
d4f3a0a2cc
|
tools.which: adding the "which" command.
|
2012-10-24 19:20:02 -07:00 |