Dennis den Ouden-van der Horst f481588509 Update child theorem to axiom and add Sphinx theme ... Changed the label from 'A child theorem' to 'A child axiom' in the intro.md file for clarity. Added 'sphinx-tudelft-theme==1.2.1' to requirements.txt to specify the documentation theme.		2026-01-02 20:08:02 +01:00
..
_ext/sphinx_gated_directives	Improve gated directive nesting validation and docs	2026-01-02 20:05:44 +01:00
_static	Comment out legacy registry logic in sphinx_gated_directives	2026-01-02 17:18:18 +01:00
basic-features	Jupyterbook v1 and teachbooks	2025-11-03 17:48:38 +01:00
examples	Jupyterbook v1 and teachbooks	2025-11-03 17:48:38 +01:00
external	Update sphinx-iframes	2025-12-05 11:31:42 +01:00
features	reorder	2025-12-19 13:55:25 +01:00
helper_code	Jupyterbook v1 and teachbooks	2025-11-03 17:48:38 +01:00
images	Replace logo figure with nothing.svg in intro	2026-01-02 17:55:31 +01:00
installation-and-setup	Jupyterbook v1 and teachbooks	2025-11-03 17:48:38 +01:00
intro	Jupyterbook v1 and teachbooks	2025-11-03 17:48:38 +01:00
tools	fix figmaker text	2025-09-29 09:59:51 -07:00
workflows	Jupyterbook v1 and teachbooks	2025-11-03 17:48:38 +01:00
_config.yml	Improve gated directive nesting validation and docs	2026-01-02 20:05:44 +01:00
_toc.yml	Add comment to external link in _toc.yml	2025-12-09 10:51:46 +01:00
changelog.md	Added changelog	2025-01-28 16:12:47 +01:00
contact.md	Update email address	2025-01-28 16:13:09 +01:00
credits.md	Add exercise and proof feature documentation	2025-09-27 15:57:36 +02:00
intro.md	Update child theorem to axiom and add Sphinx theme	2026-01-02 20:08:02 +01:00
references.bib	Update requirements and fix BibTeX formatting	2025-12-23 15:51:43 +01:00
references.md	Moved to credits	2024-12-02 12:55:09 +01:00