syllabus gnat internal

Author: leogermond

courses/fundamentals_of_ada/gnat-internal.txt

@@ -4,22 +4,26 @@
 040_statements.rst
 050_array_types.rst
 060_record_types.rst
+080_expressions.rst
+adv_080_quantified_expressions.rst
+# gprbuild & GNAT switches
 070_subprograms.rst
 075_type_derivation.rst
-080_expressions.rst
 090_overloading.rst
 095_library_units.rst
 100_packages.rst
 110_private_types.rst
 120_limited_types.rst
 130_program_structure.rst
 135_visibility.rst
-140_access_types.rst
-160_genericity.rst
 intro_170_tagged_derivation.rst
 180_polymorphism.rst
-190_exceptions.rst
+adv_170_multiple_inheritance.rst
+adv_140_access_types.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
-900_ada_version_comparison.rst
-920_reference_material.rst