diff options
Diffstat (limited to 'academic/aris/slack-desc')
| -rw-r--r-- | academic/aris/slack-desc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/academic/aris/slack-desc b/academic/aris/slack-desc index 218444d055d87..c061cf1dc471b 100644 --- a/academic/aris/slack-desc +++ b/academic/aris/slack-desc @@ -15,5 +15,5 @@ aris: in the form of abstract sequences. It uses a predefined set of both aris: inference and equivalence rules, however gives the user options to use aris: older proofs as lemmas, including Isabelle's Isar proofs. aris: -aris: Home page: http://www.gnu.org/software/aris/ +aris: Home page: https://www.gnu.org/software/aris/ aris: |