Address review comments

Author: Owen Jones

doc/architectural/background-concepts.md

@@ -3,6 +3,8 @@
 
 \author Martin Brain, Peter Schrammel
 
+# Representations #
+
 ## AST: types, globals, variables, functions, code blocks, language primitives, assignments, expressions, variables ##
 
 To be documented.
@@ -11,11 +13,13 @@ To be documented.
 
 To be documented.
 
-## Bounded model checking (from the CBMC manual) ##
+### SSA ###
 
 To be documented.
 
-### SSA ###
+# Analysis techniques #
+
+## Bounded model checking (from the CBMC manual) ##
 
 To be documented.
 

doc/architectural/cprover-architecture.md renamed to doc/architectural/cbmc-architecture.md

@@ -1,5 +1,5 @@
 \ingroup module_hidden 
-\page cprover-architecture CPROVER Architecture
+\page cbmc-architecture CBMC Architecture
 
 \author Martin Brain, Peter Schrammel
 

doc/architectural/compilation-and-development.md

@@ -3,8 +3,6 @@
 
 \author Martin Brain, Peter Schrammel
 
-# Compilation and Development
-
 ## Makefiles ##
 
 First off, read the \ref cbmc-user-manual "CBMC User Manual". It describes
@@ -19,10 +17,7 @@ To be documented.
 
 To be documented.
 
-## Generating doxygen documentation ##
-
-Run `doxygen` in `/src`. HTML output will be created in `/doc/html`. The
-index page is `/doc/html/index.html`.
+## Documentation
 
 Apart from the (user-orientated) CBMC user manual and this document, most
 of the rest of the documentation is inline in the code as `doxygen` and
@@ -31,6 +26,12 @@ contained in the `doc/` directory and gives some options for these
 tools. All of these could be improved and patches are very welcome. In
 some cases the algorithms used are described in the relevant papers.
 
+## Accessing doxygen documentation ##
+
+The doxygen documentation can be [accessed online](http://cprover.diffblue.com).
+To build it locally, run `doxygen` in `/src`. HTML output will be created in
+`/doc/html`. The index page is `/doc/html/index.html`.
+
 ## Coding standards ##
 
 See <a

doc/architectural/data-structures-core-structures-and-ast.md

@@ -88,7 +88,7 @@ To be documented.
 To be documented.
 
 
-## Examples: how to represent the AST of statements, focus on java ##
+## Examples: how to represent the AST of statements, in C and in java ##
 
 To be documented.
 

doc/architectural/front-page.md

@@ -72,7 +72,7 @@ you can access it <a href=
 
 * \subpage background-concepts
 
-* \subpage cprover-architecture
+* \subpage cbmc-architecture
 
 * \subpage folder-walkthrough