gnat internal syllabus

leogermond · leogermond · commit d17f57753f4f · 2024-09-16T14:52:38.000+02:00
diff --git a/DO_NOT_MERGE.SINGLE_COURSE b/DO_NOT_MERGE.SINGLE_COURSE
@@ -0,0 +1 @@
+fundamentals_of_ada/gnat-internal.txt
diff --git a/courses/fundamentals_of_ada/gnat-internal.txt b/courses/fundamentals_of_ada/gnat-internal.txt
@@ -0,0 +1,30 @@
+070_subprograms.rst
+075_type_derivation.rst
+080_expressions.rst
+010_overview.rst
+020_declarations.rst
+030_basic_types.rst
+040_statements.rst
+050_array_types.rst
+060_record_types.rst
+080_expressions-with_quantified.rst
+# gprbuild & GNAT switches
+070_subprograms.rst
+075_type_derivation.rst
+090_overloading.rst
+100_packages.rst
+110_private_types.rst
+120_limited_types.rst
+130_program_structure.rst
+135_visibility.rst
+intro_170_tagged_derivation.rst
+180_polymorphism.rst
+adv_170_multiple_inheritance.rst
+140_access_types-advanced.rst
+160_genericity.rst
+adv_280_low_level_programming.rst
+230_interfacing_with_c.rst
+adv_270_subprogram_contracts.rst
+adv_275_type_contracts.rst
+# +SPARK
+240_tasking.rst
