This project uses Git to manage its source code. Instructions on Git use can be found at https://git-scm.com/documentation.
The following is a link to a browsable version of the source repository:
The source can be checked out anonymously from Git with this command (See https://git-scm.com/docs/git-clone):
$ git clone --branch learnlib-0.16.0 git@github.com:LearnLib/learnlib.git
Only project developers can access the Git tree via this method (See https://git-scm.com/docs/git-clone).
$ git clone --branch learnlib-0.16.0 git@github.com:LearnLib/learnlib.git
Refer to the documentation of the SCM used for more information about access behind a firewall.