diff --git a/Project.toml b/Project.toml index b8ff560..7ea0846 100644 --- a/Project.toml +++ b/Project.toml @@ -1,16 +1,20 @@ name = "SignalTemporalLogic" uuid = "a79a9ddd-d50e-4d85-a979-5d85760e62a0" authors = ["Robert Moss "] -version = "0.1.1" +version = "1.0.0" [deps] InteractiveUtils = "b77e0a4c-d291-57a0-90e8-8db25a27a240" Markdown = "d6f4376e-aef5-505a-96c1-9c027394607a" +PlutoUI = "7f904dfe-b85e-4ff6-b463-dae2292396a8" Zygote = "e88e6eb3-aa80-5325-afca-941959d7151f" [compat] -julia = "1" +InteractiveUtils = "1.11.0" +Markdown = "1.11.0" +PlutoUI = "0.7.60" Zygote = "0.6" +julia = "1" [extras] InteractiveUtils = "b77e0a4c-d291-57a0-90e8-8db25a27a240" diff --git a/README.md b/README.md index 5f4fd13..76d8a44 100644 --- a/README.md +++ b/README.md @@ -7,7 +7,7 @@ This package can define _signal temporal logic_ (STL) formulas using the `@formu ## Installation ```julia -] add https://github.com/sisl/SignalTemporalLogic.jl +] add SignalTemporalLogic ``` ## Examples