search

UniFormal / MMT

The MMT Language and System
https://uniformal.github.io/
Other
68 stars 23 forks source link

Fix all dead links in documentation #517

Closed ComFreek closed 3 years ago

ComFreek commented 4 years ago
  1. Go to https://github.com/UniFormal/uniformal.github.io
  2. Go to latest Travis build
  3. It shows that the docs contain 33 dead links.

Some links are easy to fix. Other links link to papers which aren't hosted on kwarc.info anymore apparently.

ComFreek commented 3 years ago

Tom had taken care of this some weeks ago, e.g. see https://github.com/UniFormal/uniformal.github.io/runs/1589062435?check_suite_focus=true#step:7:1.