John Benediktsson
|
1754ab73bd
|
basis: fewer tokens when possible using if*.
|
2013-03-23 22:25:02 -07:00 |
|
John Benediktsson
|
013160df9a
|
change some "2drop 2drop" to "4drop".
|
2012-10-23 12:21:30 -07:00 |
|
John Benediktsson
|
fd94838032
|
vocabs.refresh: skip private vocabs.
|
2012-08-10 19:33:18 -07:00 |
Doug Coleman
|
26872ffe4d
|
Rename vocab to lookup-vocab
|
2011-10-24 06:42:54 -05:00 |
Daniel Ehrenberg
|
da57436180
|
Finishing eliminating prune as a synonym of members
|
2010-02-27 14:52:24 -05:00 |
|
Daniel Ehrenberg
|
7074979745
|
Moving new-sets to sets
|
2010-02-26 16:01:01 -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 |