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

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

..

ci

Resolve "Remove Provides and Requires sections from prelude"

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

definitions

Convert Fundamentals of Ada to Ada Essentials

2025-07-11 15:04:47 +00:00

dependency_checker.py

Create script to process RST file for "Provides" content

2025-07-09 21:38:31 +00:00

fix_broken_titles.py

lint: fix broken title

2023-09-08 12:10:23 +02:00

process_definitions.py

Resolve "Bad scripts uploaded to master"

2025-09-11 15:14:47 +00:00

quiz_update.py

quiz_update improve interface, search for quizzes

2023-02-22 15:27:02 +01:00

quiz.py

quiz: use system adacut

2024-12-18 10:30:39 +01:00

quiz.README.md

quiz: Move README, and complete it

2024-12-18 17:05:58 +01:00

review_run_slides

Convert Fundamentals of Ada to Ada Essentials

2025-07-11 15:04:47 +00:00

rst_files_with_prelude.txt

Resolve "Delete current content of Rust Essentials folder and move Comprehensive Rust content into it"

2025-08-06 13:08:23 +00:00

rst_update_prelude.py

Resolve "Remove Provides and Requires sections from prelude"

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