Dennis den Ouden-van der Horst 804bae0dee Add note inside axiom-end directive in intro ... Inserted a line of text within the prf:axiom-end directive in intro.md to clarify that this text will not be rendered.		2026-01-04 13:05:52 +01:00
..
_static	Remove custom code alignment CSS and update requirements	2026-01-04 11:23:45 +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	Switch sphinx_gated_directives to external package	2026-01-04 11:57:49 +01:00
_toc.yml	added gates	2026-01-03 15:35:40 +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
instructie.ipynb	added gates	2026-01-03 15:35:40 +01:00
instructie_2.ipynb	change labels	2026-01-03 15:42:01 +01:00
intro.md	Add note inside axiom-end directive in intro	2026-01-04 13:05:52 +01:00
lesoefeningen.ipynb	added gates	2026-01-03 15:35:40 +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