appliedfm/vstyle

Issues

• Sphinx theme, navigation, and accessibility (a11y)

  #10 opened 3 years ago by intoverflow
  7

• Linter & formatter

  #11 opened 3 years ago by intoverflow
  2

• Compatibility with existing guides

  #12 opened 3 years ago by intoverflow
  3

• Front page should indicate which sections are TODO

  #7 opened 3 years ago by intoverflow
  0

• Add to Alectryon gallery

  #8 opened 3 years ago by intoverflow
  0

• Ensure consistency with "Requirements on the Use of Coq in the Context of Common Criteria Evaluations"

  #9 opened 3 years ago by intoverflow
  1

• Add webhook for readthedocs.io

  #3 opened 3 years ago by intoverflow
  0

• Not yet ready for awesome-guides

  #1 opened 3 years ago by intoverflow
  0