[ci skip] Update example notebooks

blegat · Apr 2, 2020 · 17fe9bc · 17fe9bc
1 parent 3e45b1e
commit 17fe9bc
Show file tree

Hide file tree

Showing 6 changed files with 911 additions and 720 deletions.
diff --git a/examples/Controlled_Invariant_Sets/3D_System_unbounded_univariate_control.ipynb b/examples/Controlled_Invariant_Sets/3D_System_unbounded_univariate_control.ipynb
diff --git a/examples/Controlled_Invariant_Sets/3D_System_unbounded_univariate_control_2.ipynb b/examples/Controlled_Invariant_Sets/3D_System_unbounded_univariate_control_2.ipynb
@@ -1059,15 +1059,15 @@
  ],
  "metadata": {
   "kernelspec": {
-   "display_name": "Julia 1.2.0",
+   "display_name": "Julia 1.3.1",
    "language": "julia",
-   "name": "julia-1.2"
+   "name": "julia-1.3"
   },
   "language_info": {
    "file_extension": ".jl",
    "mimetype": "application/julia",
    "name": "julia",
-   "version": "1.2.0"
+   "version": "1.3.1"
   }
  },
  "nbformat": 4,

diff --git a/examples/Controlled_Invariant_Sets/Planar_System_bounded_univariate_control_centered.ipynb b/examples/Controlled_Invariant_Sets/Planar_System_bounded_univariate_control_centered.ipynb
diff --git a/examples/Finiteness_conjecture_counterexample.ipynb b/examples/Finiteness_conjecture_counterexample.ipynb
@@ -2788,7 +2788,7 @@
    "lastKernelId": null
   },
   "kernelspec": {
-   "display_name": "Julia 1.1.0",
+   "display_name": "Julia 1.1.1",
    "language": "julia",
    "name": "julia-1.1"
   },

diff --git a/examples/JCG14e61.ipynb b/examples/JCG14e61.ipynb
@@ -188,7 +188,7 @@
  ],
  "metadata": {
   "kernelspec": {
-   "display_name": "Julia 1.0.1",
+   "display_name": "Julia 1.0.3",
    "language": "julia",
    "name": "julia-1.0"
   },