Fabien Chouteau
|
3da4e883e9
|
analytics.html: remove Ruler Analytics tracker
|
2022-06-30 14:25:57 +02:00 |
|
Gustavo A. Hoffmann
|
0b1f636711
|
Merge pull request #748 from gusthoff/topic/issues/636
Editorial change: removing run button
|
2022-06-25 03:38:56 +02:00 |
|
gusthoff
|
ed289fa2f5
|
Editorial change: correcting code language indication
|
2022-06-25 02:57:31 +02:00 |
|
gusthoff
|
d88709b560
|
Editorial change: removing run button
This is needed due to the indirect pragma Import.
Fix #636
|
2022-06-25 02:57:16 +02:00 |
|
Gustavo A. Hoffmann
|
d6e27ff678
|
Merge pull request #744 from gusthoff/intro_to_ada/review/more_about_types/20220625
Editorial changes: moving sections to new chapters
|
2022-06-25 01:38:20 +02:00 |
|
gusthoff
|
8377b4775b
|
Editorial changes: move sections to new chapters
Adding chapters:
- Access types
- More about records
- Fixed-point types
|
2022-06-25 00:35:27 +02:00 |
|
Gustavo A. Hoffmann
|
c8b7b84990
|
Merge pull request #743 from gusthoff/topic/infrastructure/sphinx/updates/20220624
Python: updating requirements list
r2022.06.24
|
2022-06-24 23:19:01 +02:00 |
|
gusthoff
|
9bac0cea5d
|
Python: updating package
|
2022-06-24 12:00:10 +02:00 |
|
gusthoff
|
6b4b81ed37
|
Editorial change: sorting list according to pip freeze
|
2022-06-24 12:00:09 +02:00 |
|
Gustavo A. Hoffmann
|
33f388ba8d
|
Merge pull request #742 from gusthoff/intro-to-embedded-sys-prog/review/editorial/20220624
Editorial change: moving section to separate chapter
|
2022-06-24 11:59:33 +02:00 |
|
gusthoff
|
39b51d183b
|
Editorial change: moving section to separate chapter
New chapter: "General-Purpose Code Generators"
|
2022-06-24 11:44:38 +02:00 |
|
Gustavo A. Hoffmann
|
139470bca2
|
Merge pull request #736 from gusthoff/advanced_ada/new_content/access_types/access_to_subprograms/20220604
Adding section on access to subprograms
|
2022-06-17 21:30:24 +02:00 |
|
Gustavo A. Hoffmann
|
937374c76c
|
Merge pull request #730 from gusthoff/advanced_ada/new_content/packages/use_type_clause/20220527
Adding sections on use type clause and on naming conflicts
|
2022-06-17 21:30:06 +02:00 |
|
Gustavo A. Hoffmann
|
a521bc604d
|
Merge pull request #739 from gusthoff/topic/infrastructure/sphinx/updates/20220617
Python: updating dev. version of Pygments
|
2022-06-17 14:31:44 +02:00 |
|
gusthoff
|
3443d69858
|
Python: updating dev. version of Pygments
Pointing to commit that fixes highlighting issues with Ada aspects.
|
2022-06-17 13:37:12 +02:00 |
|
gusthoff
|
555e322ad4
|
Editorial change: correcting grammar
|
2022-06-17 13:31:33 +02:00 |
|
gusthoff
|
4ec977a7b6
|
Some improvements for clarification
|
2022-06-17 13:31:16 +02:00 |
|
gusthoff
|
b15ddbe6ed
|
Editorial change: grammar correction
|
2022-06-17 12:49:03 +02:00 |
|
gusthoff
|
4b35982c0b
|
Editorial change: being more specific about section's scope
|
2022-06-17 12:48:36 +02:00 |
|
gusthoff
|
07492fdd86
|
Editorial change: grammar correction
|
2022-06-17 12:45:05 +02:00 |
|
gusthoff
|
37babc0b60
|
Clarifying references to visibility
Making clear that it's restricted to the visible part of a package.
|
2022-06-17 12:44:05 +02:00 |
|
Gustavo A. Hoffmann
|
33608ea44d
|
Merge pull request #731 from gusthoff/advanced_ada/new_content/access_types/ragged_arrays/20220528
Adding section on ragged arrays
|
2022-06-17 11:53:38 +02:00 |
|
Gustavo A. Hoffmann
|
706584d32e
|
Merge pull request #737 from clairedross/master
Add links to the user guide in SPARK course
|
2022-06-10 19:34:38 +02:00 |
|
Claire Dross
|
3c0859cbc5
|
Fix broken link
|
2022-06-10 17:31:17 +02:00 |
|
Claire Dross
|
6f893d693b
|
Fix broken link
|
2022-06-10 17:20:54 +02:00 |
|