Yannick Moy 93bb050a56 Update Ada pygments for new attribute Initialized ...

Also update to refer to Ada instead of Ada 2012 throughout, and add new
version ada2022.

Also add all missing attributes from GNAT.

2024-05-30 15:48:41 +02:00

..

.gitignore

Q922-022 change version handling of SPARK doc

2017-09-28 09:46:39 +02:00

ada_pygments.py

Update Ada pygments for new attribute Initialized

2024-05-30 15:48:41 +02:00

whyml_pygments.py

UA26-010 enforce python styles via flake8 and black

2021-12-16 10:26:01 +09:00