Slides/189 break 005 introduction into chapters

courses/fundamentals_of_ada/005_introduction.rst

@@ -1,139 +1,37 @@
-************
-Introduction
-************
-
-.. container:: PRELUDE BEGIN
-
-.. container:: PRELUDE ROLES
-
-.. role:: ada(code)
-    :language: Ada
-
-.. role:: C(code)
-    :language: C
-
-.. role:: cpp(code)
-    :language: C++
-
-.. container:: PRELUDE SYMBOLS
-
-.. |rightarrow| replace:: :math:`\rightarrow`
-.. |forall| replace:: :math:`\forall`
-.. |exists| replace:: :math:`\exists`
-.. |equivalent| replace:: :math:`\iff`
-.. |le| replace:: :math:`\le`
-.. |ge| replace:: :math:`\ge`
-.. |lt| replace:: :math:`<`
-.. |gt| replace:: :math:`>`
-.. |checkmark| replace:: :math:`\checkmark`
-
-.. container:: PRELUDE REQUIRES
-
-.. container:: PRELUDE PROVIDES
-
-.. container:: PRELUDE END
-
-=============
-About AdaCore
-=============
-
------------
-The Company
------------
-
-..
-    Taken from https://www.adacore.com/company/about
-
-* Founded in 1994
-* Centered around helping developers build **safe, secure and reliable** software
-* Headquartered in New York and Paris
-
-   - Representatives in countries around the globe
-
-* Roots in Open Source software movement
-
-    - GNAT compiler is part of GNU Compiler Collection (GCC)
-
-===================
-About This Training
-===================
-
---------------------------
-Your Trainer
---------------------------
-
-* Experience in software development
-
-    - Languages
-    - Methodology
-
-* Experience teaching this class
-
------------------------------
-Goals of the training session
------------------------------
-
-* What you should know by the end of the training
-* Syllabus overview
-
-    - The syllabus is a guide, but we might stray off of it
-    - ...and that's OK: we're here to cover **your needs**
-
-----------
-Roundtable
-----------
-
-* 5 minute exercise
-
-    - Write down your answers to the following
-    - Then share it with the room
-
-* Experience in software development
-
-    - Languages
-    - Methodology
-
-* Experience and interest with the syllabus
-
-    - Current and upcoming projects
-    - Curious for something?
-
-* Your personal goals for this training
-
-    - What do you want to have coming out of this?
-
-* Anecdotes, stories... feel free to share!
-
-    - Most interesting or funny bug you've encountered?
-    - Your own programming interests?
-
--------------------
-Course Presentation
--------------------
-
-* Slides
-* Quizzes
-* Labs
-
-    - Hands-on practice
-    - Recommended setup: latest GNAT Studio
-    - Class reflection after some labs
-
-* Demos
-
-    - Depending on the context
-
-* Daily schedule
-
---------
-Styles
---------
-
-* :dfn:`This` is a definition
-* :filename:`this/is/a.path`
-* :ada:`code is highlighted`
-* :command:`commands are emphasised --like-this`
-
-.. warning:: This is a warning
-.. note:: This is an important piece of info
-.. tip:: This is a tip
+************
+Introduction
+************
+
+.. container:: PRELUDE BEGIN
+
+.. container:: PRELUDE ROLES
+
+.. role:: ada(code)
+    :language: Ada
+
+.. role:: C(code)
+    :language: C
+
+.. role:: cpp(code)
+    :language: C++
+
+.. container:: PRELUDE SYMBOLS
+
+.. |rightarrow| replace:: :math:`\rightarrow`
+.. |forall| replace:: :math:`\forall`
+.. |exists| replace:: :math:`\exists`
+.. |equivalent| replace:: :math:`\iff`
+.. |le| replace:: :math:`\le`
+.. |ge| replace:: :math:`\ge`
+.. |lt| replace:: :math:`<`
+.. |gt| replace:: :math:`>`
+.. |checkmark| replace:: :math:`\checkmark`
+
+.. container:: PRELUDE REQUIRES
+
+.. container:: PRELUDE PROVIDES
+
+.. container:: PRELUDE END
+
+.. include:: 005_introduction/01-about_adacore.rst
+.. include:: 005_introduction/02-about_this_training.rst

courses/fundamentals_of_ada/005_introduction/01-about_adacore.rst

@@ -0,0 +1,21 @@
+=============
+About AdaCore
+=============
+
+-----------
+The Company
+-----------
+
+..
+    Taken from https://www.adacore.com/company/about
+
+* Founded in 1994
+* Centered around helping developers build **safe, secure and reliable** software
+* Headquartered in New York and Paris
+
+   - Representatives in countries around the globe
+
+* Roots in Open Source software movement
+
+    - GNAT compiler is part of GNU Compiler Collection (GCC)
+

courses/fundamentals_of_ada/005_introduction/02-about_this_training.rst

@@ -0,0 +1,83 @@
+===================
+About This Training
+===================
+
+--------------------------
+Your Trainer
+--------------------------
+
+* Experience in software development
+
+    - Languages
+    - Methodology
+
+* Experience teaching this class
+
+-----------------------------
+Goals of the training session
+-----------------------------
+
+* What you should know by the end of the training
+* Syllabus overview
+
+    - The syllabus is a guide, but we might stray off of it
+    - ...and that's OK: we're here to cover **your needs**
+
+----------
+Roundtable
+----------
+
+* 5 minute exercise
+
+    - Write down your answers to the following
+    - Then share it with the room
+
+* Experience in software development
+
+    - Languages
+    - Methodology
+
+* Experience and interest with the syllabus
+
+    - Current and upcoming projects
+    - Curious for something?
+
+* Your personal goals for this training
+
+    - What do you want to have coming out of this?
+
+* Anecdotes, stories... feel free to share!
+
+    - Most interesting or funny bug you've encountered?
+    - Your own programming interests?
+
+-------------------
+Course Presentation
+-------------------
+
+* Slides
+* Quizzes
+* Labs
+
+    - Hands-on practice
+    - Recommended setup: latest GNAT Studio
+    - Class reflection after some labs
+
+* Demos
+
+    - Depending on the context
+
+* Daily schedule
+
+--------
+Styles
+--------
+
+* :dfn:`This` is a definition
+* :filename:`this/is/a.path`
+* :ada:`code is highlighted`
+* :command:`commands are emphasised --like-this`
+
+.. warning:: This is a warning
+.. note:: This is an important piece of info
+.. tip:: This is a tip