Skip to content

Issues: AdaCore/learn

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

19 Open 121 Closed
19 Open 121 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

SPARK Overiew: downloaded examples do not contain SPARK_Mode in main.adc bug Something isn't working
#1020 opened Mar 28, 2024 by mgrojo
1
@gusthoff
3
warnings on code snippets are distracting attention from purpose
#917 opened Aug 2, 2023 by yannickmoy
The interfacing from C to Ada section should talk about adainit and adafinal
#906 opened Jul 14, 2023 by ButcherAdaCore
1
"Handling an exception" - "Attention" block editorial Feedback Feedback from users about their experience
#892 opened Jun 1, 2023 by dm-at-ada
Syntax Highlighting on Generics Page is Broken By Keyword website infrastructure
#891 opened May 31, 2023 by dm-at-ada
1
Cross-references not always generated website infrastructure
#881 opened May 19, 2023 by gusthoff
PDF books: fix font issue website infrastructure
#880 opened May 19, 2023 by gusthoff
failure in example code on page about enum representation.
#848 opened Feb 24, 2023 by EricDelvalet
@reznikmm
1
[Bug] Incorrect online execution result in SPARK tutorial (2/2)
#718 opened Apr 19, 2022 by rami3l
1
[Bug] Incorrect online execution result in SPARK tutorial (1/2)
#717 opened Apr 19, 2022 by rami3l
1
Discuss suggestions for Intro to SPARK course from #581
#635 opened Oct 16, 2021 by gusthoff
Interactive Console Input (Learn.adacore.com) for Ada Get() not working enhancement New feature or request website infrastructure
#633 opened Oct 10, 2021 by sanyaade-teachings
Emoji brings down hello-world example website infrastructure
#569 opened Jun 12, 2021 by TamaMcGlinn
2
Side by side view for labs enhancement New feature or request website infrastructure
#445 opened Nov 18, 2020 by raph-amiard
Tab switches on widget cause page movement bug Something isn't working small Small/minor issue or pull request website infrastructure
#407 opened Sep 3, 2020 by Robert-Tice
code widget contains many blank lines enhancement New feature or request website infrastructure
#405 opened Sep 1, 2020 by yannickmoy
3
Option to easily navigate between files in non-tabbed view enhancement New feature or request website infrastructure
#283 opened Oct 18, 2019 by gusthoff
Syntax highlighting incorrect when using tick; Alphabet'First enhancement New feature or request website infrastructure
#116 opened Aug 8, 2018 by TamaMcGlinn
1
Add option to display the output of the compiler and the application statically enhancement New feature or request website infrastructure
#107 opened Jul 23, 2018 by gusthoff
1
@gusthoff
3
ProTip! no:milestone will show everything without a milestone.