404 errors in github Postiats wiki

[rodol]

I was browsing the wiki, and found that the first two links in this section are broken.

Normally I'd just edit it and fix it, but I don't know where they should point to.

[Hongwei Xi]

It seems that the links on the wiki all point to an old ats-lang site.

If you replace 'www.ats-lang.org' with 'ats-lang.sourceforge.net', these

links should still work.

On Thu, Dec 12, 2019 at 7:10 AM rodol <atlas....@gmail.com> wrote:

I was browsing the wiki, and found that the first two links in this section are broken.

Normally I'd just edit it and fix it, but I don't know where they should point to.

--
You received this message because you are subscribed to the Google Groups "ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-user...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/3d9fc8cc-0d90-4160-9609-72fc964cea50%40googlegroups.com.

[rodol]

Thank you. I've fixed the ones I could and checked through the rest, these are still broken:

http://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/x1210.html

http://scg.ece.ucsb.edu/software/notes.pdf

http://xrats.illtyped.com/code/patsopt

The link on the reddit page here is also dead:
https://www.reddit.com/r/ATS/comments/vx4lq/ats_flymake/

On Thursday, December 12, 2019 at 7:41:11 AM UTC-8, gmhwxi wrote:

It seems that the links on the wiki all point to an old ats-lang site.

If you replace 'www.ats-lang.org' with 'ats-lang.sourceforge.net', these

links should still work.

On Thu, Dec 12, 2019 at 7:10 AM rodol <atlas...@gmail.com> wrote:

I was browsing the wiki, and found that the first two links in this section are broken.

Normally I'd just edit it and fix it, but I don't know where they should point to.

--
You received this message because you are subscribed to the Google Groups "ats-lang-users" group.

To unsubscribe from this group and stop receiving emails from it, send an email to ats-lan...@googlegroups.com.