diff options
Diffstat (limited to 'development/mcrl2/slack-desc')
-rw-r--r-- | development/mcrl2/slack-desc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/development/mcrl2/slack-desc b/development/mcrl2/slack-desc index 2f9ed87f4a..fca6abcb59 100644 --- a/development/mcrl2/slack-desc +++ b/development/mcrl2/slack-desc @@ -14,6 +14,6 @@ mcrl2: behaviour of distributed systems and protocols and is the successor mcrl2: to mCRL. Using its accompanying toolset systems can be analysed and mcrl2: verified automatically. mcrl2: -mcrl2: http://www.mcrl2.org/ +mcrl2: https://www.mcrl2.org/ mcrl2: mcrl2: |