Skip to content

Commit 9ade407

Browse files
frank-at-adacorefrank-at-adacore
committed
Merge branch 'slides/189-break-005_introduction-into-chapters' into 'master'
Resolve "break 005_introduction into chapters" Closes #189 See merge request feng/training/material!243
2 parents e85a023 + a56ec2e commit 9ade407

File tree

4 files changed

+141
-141
lines changed

4 files changed

+141
-141
lines changed

‎courses/fundamentals_of_ada/005_introduction.rst

Lines changed: 37 additions & 139 deletions
Original file line numberDiff line numberDiff line change
@@ -1,139 +1,37 @@
1-
************
2-
Introduction
3-
************
4-
5-
.. container:: PRELUDE BEGIN
6-
7-
.. container:: PRELUDE ROLES
8-
9-
.. role:: ada(code)
10-
:language: Ada
11-
12-
.. role:: C(code)
13-
:language: C
14-
15-
.. role:: cpp(code)
16-
:language: C++
17-
18-
.. container:: PRELUDE SYMBOLS
19-
20-
.. |rightarrow| replace:: :math:`\rightarrow`
21-
.. |forall| replace:: :math:`\forall`
22-
.. |exists| replace:: :math:`\exists`
23-
.. |equivalent| replace:: :math:`\iff`
24-
.. |le| replace:: :math:`\le`
25-
.. |ge| replace:: :math:`\ge`
26-
.. |lt| replace:: :math:`<`
27-
.. |gt| replace:: :math:`>`
28-
.. |checkmark| replace:: :math:`\checkmark`
29-
30-
.. container:: PRELUDE REQUIRES
31-
32-
.. container:: PRELUDE PROVIDES
33-
34-
.. container:: PRELUDE END
35-
36-
=============
37-
About AdaCore
38-
=============
39-
40-
-----------
41-
The Company
42-
-----------
43-
44-
..
45-
Taken from https://www.adacore.com/company/about
46-
47-
* Founded in 1994
48-
* Centered around helping developers build **safe, secure and reliable** software
49-
* Headquartered in New York and Paris
50-
51-
- Representatives in countries around the globe
52-
53-
* Roots in Open Source software movement
54-
55-
- GNAT compiler is part of GNU Compiler Collection (GCC)
56-
57-
===================
58-
About This Training
59-
===================
60-
61-
--------------------------
62-
Your Trainer
63-
--------------------------
64-
65-
* Experience in software development
66-
67-
- Languages
68-
- Methodology
69-
70-
* Experience teaching this class
71-
72-
-----------------------------
73-
Goals of the training session
74-
-----------------------------
75-
76-
* What you should know by the end of the training
77-
* Syllabus overview
78-
79-
- The syllabus is a guide, but we might stray off of it
80-
- ...and that's OK: we're here to cover **your needs**
81-
82-
----------
83-
Roundtable
84-
----------
85-
86-
* 5 minute exercise
87-
88-
- Write down your answers to the following
89-
- Then share it with the room
90-
91-
* Experience in software development
92-
93-
- Languages
94-
- Methodology
95-
96-
* Experience and interest with the syllabus
97-
98-
- Current and upcoming projects
99-
- Curious for something?
100-
101-
* Your personal goals for this training
102-
103-
- What do you want to have coming out of this?
104-
105-
* Anecdotes, stories... feel free to share!
106-
107-
- Most interesting or funny bug you've encountered?
108-
- Your own programming interests?
109-
110-
-------------------
111-
Course Presentation
112-
-------------------
113-
114-
* Slides
115-
* Quizzes
116-
* Labs
117-
118-
- Hands-on practice
119-
- Recommended setup: latest GNAT Studio
120-
- Class reflection after some labs
121-
122-
* Demos
123-
124-
- Depending on the context
125-
126-
* Daily schedule
127-
128-
--------
129-
Styles
130-
--------
131-
132-
* :dfn:`This` is a definition
133-
* :filename:`this/is/a.path`
134-
* :ada:`code is highlighted`
135-
* :command:`commands are emphasised --like-this`
136-
137-
.. warning:: This is a warning
138-
.. note:: This is an important piece of info
139-
.. tip:: This is a tip
1+
************
2+
Introduction
3+
************
4+
5+
.. container:: PRELUDE BEGIN
6+
7+
.. container:: PRELUDE ROLES
8+
9+
.. role:: ada(code)
10+
:language: Ada
11+
12+
.. role:: C(code)
13+
:language: C
14+
15+
.. role:: cpp(code)
16+
:language: C++
17+
18+
.. container:: PRELUDE SYMBOLS
19+
20+
.. |rightarrow| replace:: :math:`\rightarrow`
21+
.. |forall| replace:: :math:`\forall`
22+
.. |exists| replace:: :math:`\exists`
23+
.. |equivalent| replace:: :math:`\iff`
24+
.. |le| replace:: :math:`\le`
25+
.. |ge| replace:: :math:`\ge`
26+
.. |lt| replace:: :math:`<`
27+
.. |gt| replace:: :math:`>`
28+
.. |checkmark| replace:: :math:`\checkmark`
29+
30+
.. container:: PRELUDE REQUIRES
31+
32+
.. container:: PRELUDE PROVIDES
33+
34+
.. container:: PRELUDE END
35+
36+
.. include:: 005_introduction/01-about_adacore.rst
37+
.. include:: 005_introduction/02-about_this_training.rst

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

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
=============
2+
About AdaCore
3+
=============
4+
5+
-----------
6+
The Company
7+
-----------
8+
9+
..
10+
Taken from https://www.adacore.com/company/about
11+
12+
* Founded in 1994
13+
* Centered around helping developers build **safe, secure and reliable** software
14+
* Headquartered in New York and Paris
15+
16+
- Representatives in countries around the globe
17+
18+
* Roots in Open Source software movement
19+
20+
- GNAT compiler is part of GNU Compiler Collection (GCC)
21+

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

Lines changed: 83 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,83 @@
1+
===================
2+
About This Training
3+
===================
4+
5+
--------------------------
6+
Your Trainer
7+
--------------------------
8+
9+
* Experience in software development
10+
11+
- Languages
12+
- Methodology
13+
14+
* Experience teaching this class
15+
16+
-----------------------------
17+
Goals of the training session
18+
-----------------------------
19+
20+
* What you should know by the end of the training
21+
* Syllabus overview
22+
23+
- The syllabus is a guide, but we might stray off of it
24+
- ...and that's OK: we're here to cover **your needs**
25+
26+
----------
27+
Roundtable
28+
----------
29+
30+
* 5 minute exercise
31+
32+
- Write down your answers to the following
33+
- Then share it with the room
34+
35+
* Experience in software development
36+
37+
- Languages
38+
- Methodology
39+
40+
* Experience and interest with the syllabus
41+
42+
- Current and upcoming projects
43+
- Curious for something?
44+
45+
* Your personal goals for this training
46+
47+
- What do you want to have coming out of this?
48+
49+
* Anecdotes, stories... feel free to share!
50+
51+
- Most interesting or funny bug you've encountered?
52+
- Your own programming interests?
53+
54+
-------------------
55+
Course Presentation
56+
-------------------
57+
58+
* Slides
59+
* Quizzes
60+
* Labs
61+
62+
- Hands-on practice
63+
- Recommended setup: latest GNAT Studio
64+
- Class reflection after some labs
65+
66+
* Demos
67+
68+
- Depending on the context
69+
70+
* Daily schedule
71+
72+
--------
73+
Styles
74+
--------
75+
76+
* :dfn:`This` is a definition
77+
* :filename:`this/is/a.path`
78+
* :ada:`code is highlighted`
79+
* :command:`commands are emphasised --like-this`
80+
81+
.. warning:: This is a warning
82+
.. note:: This is an important piece of info
83+
.. tip:: This is a tip

‎pandoc/beamer_filter.py

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -656,8 +656,6 @@ def format_note(classes, contents):
656656
def remove_title(c):
657657
# pandoc adds a title element for some admonitions. Remove it.
658658
if isinstance(c, list) and len(c) > 0:
659-
with open("toto.py", "at") as f:
660-
print(repr(c), file=f)
661659
if c[0]["t"] == "Div":
662660
if c[0]["c"][0][1][0] == "title":
663661
del c[0]

0 commit comments

Comments
 (0)