ada/training_material

mirror of https://github.com/AdaCore/training_material.git synced 2026-02-12 13:08:57 -08:00

Files

History

Michael Frank 8d5b8e5565 Resolve "Remove Provides and Requires sections from prelude"

2025-11-04 15:35:49 +00:00

..

Resolve "Create GNATstack module"

2025-03-31 13:30:41 +00:00

010_overview.rst

Resolve "Remove Provides and Requires sections from prelude"

2025-11-04 15:35:49 +00:00

100_gnatstub.rst

Resolve "Remove Provides and Requires sections from prelude"

2025-11-04 15:35:49 +00:00

200_gnatstack.rst

Resolve "Remove Provides and Requires sections from prelude"

2025-11-04 15:35:49 +00:00

course.toml

Resolve "Create GNATstub training module"

2025-03-17 13:00:01 +00:00

README.md

Resolve "Create GNATstub training module"

2025-03-17 13:00:01 +00:00

README.md

Overview

This folder is a collection of modules for teaching various AdaCore/GNAT tools. Each module is an RST file that focuses on one simple tool. (More complicated tools should be in their own folder.)

Naming Scheme

The module naming scheme uses a 3-digit prefix, followed by an underscore and then the description of the module (all lower case, words separated by "_"). The file extension for all modules should be ".rst". In this folder, the 3-digit prefix should be used for grouping purposes only.