Skip to content

Commit dfcb7cd

Browse files
author
Owen
committed
Describe the aim of the documentation marked as "For contributors"
1 parent c31edca commit dfcb7cd

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

doc/architectural/front-page.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -68,6 +68,10 @@ you can access it <a href=
6868

6969
### For contributors:
7070

71+
The following pages attempt to provide the information that a developer needs to
72+
work on CBMC, in a sensible order. In many cases they link to the appropriate
73+
class-level or module-level documentation.
74+
7175
* \subpage compilation-and-development
7276

7377
* \subpage background-concepts

0 commit comments

Comments
 (0)