File tree Expand file tree Collapse file tree 16 files changed +48
-0
lines changed
Ada_For_The_CPP_Java_Developer
Ada_For_The_Embedded_C_Developer
Guidelines_for_Safe_and_Secure_Ada_SPARK
SPARK_for_the_MISRA_C_Developer
intro-to-embedded-sys-prog Expand file tree Collapse file tree 16 files changed +48
-0
lines changed Original file line number Diff line number Diff line change @@ -8,6 +8,9 @@ Ada for the C++ or Java Developer
88
99.. only :: no_hidden_books
1010
11+ .. meta ::
12+ :robots: noindex, nofollow
13+
1114 .. warning ::
1215
1316 This version of the website contains UNPUBLISHED contents.
Original file line number Diff line number Diff line change @@ -8,6 +8,9 @@ Ada for the Embedded C Developer
88
99.. only :: no_hidden_books
1010
11+ .. meta ::
12+ :robots: noindex, nofollow
13+
1114 .. warning ::
1215
1316 This version of the website contains UNPUBLISHED contents.
Original file line number Diff line number Diff line change @@ -8,6 +8,9 @@ Introduction to the GNAT Toolchain
88
99.. only :: no_hidden_books
1010
11+ .. meta ::
12+ :robots: noindex, nofollow
13+
1114 .. warning ::
1215
1316 This version of the website contains UNPUBLISHED contents.
Original file line number Diff line number Diff line change @@ -8,6 +8,9 @@ Guidelines for Safe and Secure Ada/SPARK
88
99.. only :: no_hidden_books
1010
11+ .. meta ::
12+ :robots: noindex, nofollow
13+
1114 .. warning ::
1215
1316 This version of the website contains UNPUBLISHED contents.
Original file line number Diff line number Diff line change @@ -7,6 +7,9 @@ SPARK Ada for the MISRA C Developer
77
88.. only :: no_hidden_books
99
10+ .. meta ::
11+ :robots: noindex, nofollow
12+
1013 .. warning ::
1114
1215 This version of the website contains UNPUBLISHED contents.
Original file line number Diff line number Diff line change @@ -10,6 +10,9 @@ Ada In Practice
1010
1111.. only :: no_hidden_books
1212
13+ .. meta ::
14+ :robots: noindex, nofollow
15+
1316 .. warning ::
1417
1518 This version of the website contains UNPUBLISHED contents.
Original file line number Diff line number Diff line change @@ -14,6 +14,9 @@ Advanced Journey With Ada: A Flight In Progress
1414
1515.. only :: no_hidden_books
1616
17+ .. meta ::
18+ :robots: noindex, nofollow
19+
1720 .. warning ::
1821
1922 This version of the website contains UNPUBLISHED contents.
Original file line number Diff line number Diff line change @@ -8,6 +8,9 @@ Advanced Journey With Ada: A Flight In Progress (UNPUBLISHED)
88
99.. only :: no_hidden_books
1010
11+ .. meta ::
12+ :robots: noindex, nofollow
13+
1114 .. warning ::
1215
1316 This version of the website contains UNPUBLISHED contents.
Original file line number Diff line number Diff line change @@ -10,6 +10,9 @@ Advanced SPARK
1010
1111.. only :: no_hidden_books
1212
13+ .. meta ::
14+ :robots: noindex, nofollow
15+
1316 .. warning ::
1417
1518 This version of the website contains UNPUBLISHED contents.
Original file line number Diff line number Diff line change @@ -15,6 +15,9 @@ Introduction to Ada
1515
1616.. only :: no_hidden_books
1717
18+ .. meta ::
19+ :robots: noindex, nofollow
20+
1821 .. warning ::
1922
2023 This version of the website contains UNPUBLISHED contents.
You can’t perform that action at this time.
0 commit comments