Closed GoogleCodeExporter closed 9 years ago
1. Elicit titles of sections. 2. Use Latex numbering for environments to generate titles e.g. "Theorem 1.1". 3. Persist titles into a store.
Original issue reported on code.google.com by nikita.z...@gmail.com on 24 Apr 2011 at 3:21
nikita.z...@gmail.com
4. Display titles on the structure graph
Original comment by nikita.z...@gmail.com on 24 Apr 2011 at 3:30
Original comment by nikita.z...@gmail.com on 12 May 2011 at 10:46
Original issue reported on code.google.com by
nikita.z...@gmail.com
on 24 Apr 2011 at 3:21