Matthew Flatt cda63b21de adjust section counting when 'grouper and 'unnumbered are mixed ... I'm not certain that mixing 'grouper and non-'grouper parts at a given level makes sense. Still, this adjustment brings Scribble section counting more in line with Latex, so that section links are less likely to have the wrong number label.		2017-07-27 07:36:10 -06:00
..
tests	adjust section counting when 'grouper and 'unnumbered are mixed	2017-07-27 07:36:10 -06:00
info.rkt	Remove extra directories.	2014-12-02 00:54:52 -05:00
LICENSE.txt	Remove extra directories.	2014-12-02 00:54:52 -05:00