Doug Coleman
|
28dcd0667a
|
factor: rename set to unordered-set.
|
2015-08-12 10:54:19 -05:00 |
John Benediktsson
|
57f9d78892
|
improve help by linking to types directly.
|
2014-05-23 20:20:15 -07:00 |
|
John Benediktsson
|
80ac71ad86
|
tools.crossref: fix help-lint.
|
2013-03-08 22:24:21 -08:00 |
Keita Haga
|
e7796b4118
|
tools.crossref: fix example
|
2010-11-29 18:41:57 +09:00 |
Keith Lazuka
|
405e5d015b
|
docs: change $subsection to $subsections
|
2009-10-02 12:15:48 -04:00 |
Doug Coleman
|
7f983f12d4
|
fix help lint failures, fix example in words
|
2009-04-22 12:26:28 -05:00 |
Slava Pestov
|
48e70b65fa
|
Move cross-referencing stuff to tools.crossref since compiler doesn't depend on it anymore, and compute cross-referencing index as needed; reduces image size by ~4Mb
|
2009-04-22 04:20:38 -05:00 |
|
Slava Pestov
|
abab72f80c
|
Move 'see' to its own vocabulary, and fix excess newlines after panes change
|
2009-03-11 07:18:24 -05:00 |
|
Slava Pestov
|
da94d8afae
|
Working on new UI
|
2008-12-11 16:47:38 -06:00 |
|
Slava Pestov
|
1d630b6cf2
|
Minor documentation fixes
|
2008-11-11 10:51:15 -06:00 |
|
Slava Pestov
|
d66f887736
|
Create basis vocab root
|
2008-07-28 22:03:13 -05:00 |