Merge pull request #752 from JuliaReach/mforets-patch-1

Update discrete_time.md
JuliaReach · Nov 24, 2023 · ce124bb · ce124bb
2 parents 8611c2f + c4f1a94
commit ce124bb
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 8 deletions.
diff --git a/docs/src/tutorials/linear_methods/dense_time.md b/docs/src/tutorials/linear_methods/dense_time.md
@@ -36,10 +36,9 @@ Define the invariant $G: \{(x, y) \in \mathbb{R}^2: x ≥ 1.3 \}$.
 
 
 ```@example dense_propagation
-using ReachabilityAnalysis # hide
-using ReachabilityAnalysis: center  # hide
+using ReachabilityAnalysis, Plots
+using ReachabilityAnalysis: center
 
-import Plots: plot, plot!, xlims!, ylims! # hide
 
 import Random # hide
 Random.seed!(1117) # hide

diff --git a/docs/src/tutorials/linear_methods/discrete_time.md b/docs/src/tutorials/linear_methods/discrete_time.md
@@ -21,13 +21,11 @@ The matrix $M(\theta)$ rotates points in the xy-plane clockwise through an angle
 
 ### Propagating point clouds
 
-To gain some intuition let's build the matrix and apply it to some points.
+To gain some intuition, let's build the matrix and apply it to some points.
 
 ```@example discrete_propagation
-using ReachabilityAnalysis # hide
-using ReachabilityAnalysis: center  # hide
-
-import Plots: plot, plot!, xlims!, ylims! # hide
+using ReachabilityAnalysis, Plots
+using ReachabilityAnalysis: center
 
 # initial set
 X0 = BallInf(ones(2), 0.2)