Skip to content

Commit 9212769

Browse files
author
Dana Binkley
committed
Merge branch 'mr/470-importing-reference_material-and-gnat_in_practice-to-rust-essentials' into 'master'
Resolve "Importing reference_material and gnat_in_practice to rust essentials" Closes #470 See merge request feng/training/material!543
2 parents 54d5726 + 464c44e commit 9212769

2 files changed

Lines changed: 82 additions & 0 deletions

File tree

Lines changed: 81 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,81 @@
1+
*****************************
2+
Annex - Reference Materials
3+
*****************************
4+
5+
.. container:: PRELUDE BEGIN
6+
7+
.. container:: PRELUDE ROLES
8+
9+
.. role:: ada(code)
10+
:language: Ada
11+
12+
.. role:: C(code)
13+
:language: C
14+
15+
.. role:: cpp(code)
16+
:language: C++
17+
18+
.. role:: rust(code)
19+
:language: Rust
20+
21+
.. container:: PRELUDE SYMBOLS
22+
23+
.. |rightarrow| replace:: :math:`\rightarrow`
24+
.. |forall| replace:: :math:`\forall`
25+
.. |exists| replace:: :math:`\exists`
26+
.. |equivalent| replace:: :math:`\iff`
27+
.. |le| replace:: :math:`\le`
28+
.. |ge| replace:: :math:`\ge`
29+
.. |lt| replace:: :math:`<`
30+
.. |gt| replace:: :math:`>`
31+
.. |checkmark| replace:: :math:`\checkmark`
32+
33+
.. container:: PRELUDE END
34+
35+
==========================
36+
General Rust Information
37+
==========================
38+
39+
--------------
40+
Useful Links
41+
--------------
42+
43+
- Official Rust Learning Resources
44+
45+
- Additional guides, docs, and learning paths
46+
47+
- `https://rust-lang.org/learn/ <https://rust-lang.org/learn/>`_
48+
49+
50+
- GNAT Pro for Rust User’s Guide
51+
52+
- Tooling, workflows, mixed-language development
53+
54+
- `https://docs.adacore.com/live/wave/rust/html/rust_ug/index.html <https://docs.adacore.com/live/wave/rust/html/rust_ug/index.html>`_
55+
56+
=================
57+
AdaCore Support
58+
=================
59+
60+
-----------------
61+
Need More Help?
62+
-----------------
63+
64+
* If you have an AdaCore subscription:
65+
66+
- Find out your customer number #XXXX
67+
68+
* Open a "Case" via the GNATtracker web interface and/or email
69+
70+
- GNATtracker
71+
72+
* Select "Create A New Case" from the main landing page
73+
74+
- Email
75+
76+
* Send to: `support@adacore.com <mailto:support@adacore.com>`_
77+
* Subject should read: #XXXX - (descriptive text)
78+
79+
* Not just for "bug reports"
80+
81+
- Ask questions, make suggestions, etc.

courses/rust_essentials/standard_course.txt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -18,3 +18,4 @@
1818
170_iterators.rst
1919
180_modules.rst
2020
200_error_handling.rst
21+
920_reference_material.rst

0 commit comments

Comments
 (0)