John Benediktsson
|
2c3492a916
|
minor cleanup to some docs.
|
2015-05-13 16:09:14 -07:00 |
|
John Benediktsson
|
57f9d78892
|
improve help by linking to types directly.
|
2014-05-23 20:20:15 -07:00 |
|
John Benediktsson
|
98935b7f15
|
docs: change ``{ $quotation "( x -- y )" }`` to ``{ $quotation ( x -- y ) }``.
|
2014-05-18 20:09:10 -07:00 |
|
John Benediktsson
|
225e87339b
|
update some docs that should use $quotation.
|
2012-09-27 11:09:17 -07:00 |
Keita Haga
|
f05448af85
|
ui.operations: fix typo in docs
|
2011-01-14 19:39:39 +09:00 |
Keith Lazuka
|
405e5d015b
|
docs: change $subsection to $subsections
|
2009-10-02 12:15:48 -04:00 |
Slava Pestov
|
5aab0078a0
|
Make more code infer
|
2009-04-12 16:08:54 -05:00 |
Slava Pestov
|
bb27511753
|
Fixing code for first-class fonts
|
2009-01-26 02:21:28 -06:00 |
|
Slava Pestov
|
d871691342
|
Simplify define-operation-map; it doesn't need the hook quotation at all
|
2009-01-15 15:22:25 -06:00 |
|
Slava Pestov
|
9bf63b1613
|
New $quotation markup element
|
2008-11-16 09:03:30 -06:00 |
|
Slava Pestov
|
93e9e34175
|
Add $maybe markup element
|
2008-11-16 06:02:13 -06:00 |
Eduardo Cavazos
|
61e5729cdb
|
Update old accessors from 'ui.operations'
|
2008-08-31 23:53:07 -05:00 |
|
Eduardo Cavazos
|
7402cd2ab7
|
Move 'ui' to basis
|
2008-08-07 21:12:50 -05:00 |