Merge pull request formal-methods-mpi#143 from formal-methods-mpi/main

Merge main into patch
lmu-osc · Nov 8, 2023 · 0367a34 · 0367a34
2 parents c16ff69 + 4d6ba7b
commit 0367a34
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 4 deletions.
diff --git a/docs/src/2_syntax/foundations.md b/docs/src/2_syntax/foundations.md
@@ -6,7 +6,7 @@ Your input is always welcome and appreciated!
 
 In the following, you will find a quick cheat sheet covering the basic Julia syntax.
 You will see that Julia's syntax is similar to `Matlab`, `Python`, and `R` (in this order).
-We recommend that you quickly **skim** this cheat sheet and do the exercises at the and of this chapter.
+We recommend that you quickly **skim** this cheat sheet and do the exercises at the end of this chapter.
 You might want to keep this page open in another tab to have it as a reference at your disposal.
 There is a collection of side-by-side comparisons of Julia and R, Python or Matlab in the Additional Resources section of the Additional Materials chapter.
 Because these are more comprehensive, you should not need them during the workshop.
@@ -100,7 +100,7 @@ subtracted_vectors = first_vector - second_vector
 ```
 
 
-Vectors can be concetenated with the `vcat` function or the `;` operator:
+Vectors can be concatenated with the `vcat` function or the `;` operator:
 
 ```@example variables
 concatenated_vector = vcat(first_vector, second_vector)

diff --git a/docs/src/index.md b/docs/src/index.md
@@ -23,7 +23,7 @@ To ensure a smooth learning experience, we have divided the workshop into three
 
 ## Pre-workshop preparation
 
-It is important that you install Julia and Visual Studio Code following the steps outlined in [Chapter 0](0_preparation/preparation).
+It is important that you install Julia and Visual Studio Code following the steps outlined in [Preparation](@ref).
 
 ## During the workshop
 

diff --git a/docs/src/reuse/chapter-overview.md b/docs/src/reuse/chapter-overview.md
@@ -1,6 +1,5 @@
 **Chapter 0** should be completed **before** the workshop begins, because we will guide you through the installation of Julia and Visual Studio Code.
 In case you run into any issues, please contact us to help you troubleshoot.
-<!-- We should give information how they can reach out to us -->
 
 **Chapter 1** is the first chapter that we tackle together.
 Before diving into the intricacies of Julia, we will first discuss the workflow and tools you'll need to get started with the language.