Skip to content

Commit

Permalink
update README
Browse files Browse the repository at this point in the history
  • Loading branch information
schillic committed Jun 4, 2019
1 parent 873bbf1 commit cfae8fd
Showing 1 changed file with 17 additions and 7 deletions.
24 changes: 17 additions & 7 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -19,18 +19,28 @@

## Installing

This package requires Julia v0.6 or later. Refer to the [official documentation](https://julialang.org/downloads)
on how to install and run Julia in your system.
This package requires Julia v1.0 or later.
Refer to the [official documentation](https://julialang.org/downloads) on how to
install and run Julia on your system.

To install the latest release of this package, use the following command inside Julia's REPL:
Depending on your needs, choose an appropriate command from the following list
and enter it in Julia's REPL.
To activate the `pkg` mode, type `]` (and to leave it, type `exit()`).

#### [Install the latest release version](https://julialang.github.io/Pkg.jl/v1/managing-packages/#Adding-registered-packages-1)

```julia
pkg> add LazySets
```

#### Install the latest development version

```julia
using Pkg
Pkg.add("LazySets")
pkg> add LazySets#master
```

If you want to install the latest development version, do:
#### [Clone the package for development](https://julialang.github.io/Pkg.jl/v1/managing-packages/#Developing-packages-1)

```julia
Pkg.clone("https://github.com/JuliaReach/LazySets.jl.git")
pkg> dev LazySets
```

0 comments on commit cfae8fd

Please sign in to comment.