Yes, I think I know your feeling about sourceforge very clearly :) But there are still users who use the version of ATS2 distributed at sourceforge. They probably should have switched to github or bitbucket, but they have not yet.
At this point, all the development of ATS2 is hosted at github. If I get rid of the sourceforge repos, then I have to make changes to CI scripts and also links in various webpages. Given the very limited resources I have, I have to postpone such changes. I so wish that I could hire just one person to help :) On Friday, May 6, 2016 at 2:25:41 AM UTC-4, Raoul Duke wrote: > > oh. OK! that's great! I will try that! thanks :-) > > I guess then my "please PRETTY PLEASE" has been transmuted into: please, > PRETTY PLEASE, get rid of, delete, erase, remove, bury all the other old > sites. It is *really* confusing, frustrating. > -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/bd2b620e-9074-4943-8e6e-23e4ac51b620%40googlegroups.com.
