1. c7c7c86 userguide: update path to code-update by Joel Stanley · 6 years ago
  2. 8b80cb6 userguide: Don't use pandoc for final tex output by Jeremy Kerr · 9 years ago
  3. a729743 Add infrastructure for User Guide by Jeremy Kerr · 9 years ago