Wei Tang
|
b07234e8ee
|
Handle nested collect-element inside a traverse-element
|
2017-03-03 07:06:26 -07:00 |
|
Matthew Flatt
|
3e1c63c93a
|
improve rendering of titles with empty numbers
|
2016-08-13 12:45:50 -06:00 |
|
Matthew Flatt
|
495630e001
|
avoid bad substring when something goes weird with section numbers
|
2016-08-13 07:31:58 -06:00 |
|
Matthew Flatt
|
798155c4f9
|
add make-numberer to generalize section numbering
|
2016-01-09 20:21:18 -07:00 |
|
Sam Tobin-Hochstadt
|
a316fc12c0
|
Remove extra directories.
|
2014-12-02 00:54:52 -05:00 |
|