diff --git a/docs/ql-documentation/ql-training-rst/intro-to-ql/intro-ql-cpp.rst b/docs/ql-documentation/ql-training-rst/intro-to-ql/intro-ql-cpp.rst index 8a25434bb5c..49b18ad3ee3 100644 --- a/docs/ql-documentation/ql-training-rst/intro-to-ql/intro-ql-cpp.rst +++ b/docs/ql-documentation/ql-training-rst/intro-to-ql/intro-ql-cpp.rst @@ -7,11 +7,9 @@ Introduction to variant analysis for C/C++ Information =========== -- Pressing 'h' highlights code snippets -- Pressing 'p' toggles speaker notes (if they're on the current slide) -- Pressing 'f' toggles fullscreen viewing -- Pressing 'w' toggles widescreen -- Pressing 'o' toggles overview mode +- Pressing ``p`` toggles extra notes (if they're on the current slide) +- Pressing ``f`` toggles full screen viewing +- Pressing ``o`` toggles overview mode Getting started and setting up ============================== @@ -23,7 +21,7 @@ To try the examples in this presentation you should download: More resources: -- If you are a completely new to QL, try the `QL detective tutorials `__. +- If you are completely new to QL, try the `QL detective tutorials `__. - To learn more about the main features of QL, try looking at the `QL language handbook `__. - For further information about writing queries in QL, see `Writing QL queries `__. @@ -149,7 +147,7 @@ A QL class allows you to name a set of values and define (member) predicates on A class has at least one supertype and optionally a **characteristic predicate**; it contains the values that belong to *all* supertypes *and* satisfy the characteristic predicate, if provided. -Memember predicates are inherited and can be overidden. +Member predicates are inherited and can be overidden. .. code-block:: ql @@ -215,4 +213,4 @@ Model answer What next? ========== -Try working through the next QL training topic: **Introduction to dataflow**. \ No newline at end of file +Try working through the next QL training topic: **Introduction to data flow**. \ No newline at end of file diff --git a/docs/ql-documentation/ql-training-rst/intro-to-ql/intro-ql-general.rst b/docs/ql-documentation/ql-training-rst/intro-to-ql/intro-ql-general.rst index 145097ed870..481a19895ee 100644 --- a/docs/ql-documentation/ql-training-rst/intro-to-ql/intro-ql-general.rst +++ b/docs/ql-documentation/ql-training-rst/intro-to-ql/intro-ql-general.rst @@ -10,7 +10,7 @@ Patching is still possible mid-flight, but what if there are more such issues? .. note:: - When the Curiosity Rover was on its way to Mars in 2012, a flight software developer at NASA JPL discovered a mission-critical bug through manual code review. The problem occurred in Curiosity’s Entry, Descent and Landing software–the software responsible for the Rover’s descent through the Martian atmosphere and landing it safely on the surface. of Mars. + When the Curiosity Rover was on its way to Mars in 2012, a flight software developer at NASA JPL discovered a mission-critical bug through manual code review. The problem occurred in Curiosity’s Entry, Descent, and Landing software–the software responsible for the Rover’s descent through the Martian atmosphere and landing it safely on the surface. of Mars. The bug, which had gone undetected by traditional solutions, was likely to prevent the capsule’s parachutes from opening, resulting in the Rover crashing onto the red planet’s rocky surface. diff --git a/docs/ql-documentation/ql-training-rst/intro-to-ql/intro-ql-java.rst b/docs/ql-documentation/ql-training-rst/intro-to-ql/intro-ql-java.rst index a3cb68dbe89..c8096cecbe5 100644 --- a/docs/ql-documentation/ql-training-rst/intro-to-ql/intro-ql-java.rst +++ b/docs/ql-documentation/ql-training-rst/intro-to-ql/intro-ql-java.rst @@ -7,11 +7,9 @@ Introduction to variant analysis for Java Information =========== -- Pressing 'h' highlights code snippets -- Pressing 'p' toggles speaker notes (if they're on the current slide) -- Pressing 'f' toggles fullscreen viewing -- Pressing 'w' toggles widescreen -- Pressing 'o' toggles overview mode +- Pressing ``p`` toggles extra notes (if they're on the current slide) +- Pressing ``f`` toggles full screen viewing +- Pressing ``o`` toggles overview mode Getting started and setting up ============================== @@ -23,7 +21,7 @@ To try the examples in this presentation you should download: More resources: -- If you are a completely new to QL, try the `QL detective tutorials `__. +- If you are completely new to QL, try the `QL detective tutorials `__. - To learn more about the main features of QL, try looking at the `QL language handbook `__. - For further information about writing queries in QL, see `Writing QL queries `__. @@ -149,7 +147,7 @@ A QL class allows you to name a set of values and define (member) predicates on A class has at least one supertype and optionally a **characteristic predicate**; it contains the values that belong to *all* supertypes *and* satisfy the characteristic predicate, if provided. -Memember predicates are inherited and can be overidden. +Member predicates are inherited and can be overidden. .. code-block:: ql @@ -214,4 +212,4 @@ Model answer What next? ========== -Try working through the next QL training topic: **Introduction to dataflow**. +Try working through the next QL training topic: **Introduction to data flow**.