panglesd / odoc / 106

Builds Branch Commit Type Ran Committer Via Coverage
106 fix-937 Clarify odoc for authors documentation push Paul-Elliot github pending completion   set done
103 fix_447 Force identifiers + resolved references to have a datatype as parent push Paul-Elliot github pending completion   set done
102 fix_447 Force identifiers + resolved references to have a datatype as parent push Paul-Elliot github pending completion   set done
101 render-source-files check that all children are in the search path during linking push Paul-Elliot github pending completion   set done
100 render-source-files Another version of child resolving push Paul-Elliot github pending completion   set done
99 wip-src-prefix WIP source tree have a src prefix in their files push Paul-Elliot github pending completion   set done
96 render-source-files Generate source directories inside odoc push Paul-Elliot github pending completion   set done
95 render-source-files WIP push Paul-Elliot github pending completion   set done
94 fix-449 WIP test for 449 push Paul-Elliot github pending completion   set done
93 fix-456 WIP test for 456 push Paul-Elliot github pending completion   set done
91 fix-857 WIP: add test for issue 857 push Paul-Elliot github pending completion   set done
71 master latex: escape all special characters push Jon Ludlam github pending completion   set done