How about use github pages to host ATS Documentation?

[Kiwamu Okabe]

Hi Hongwei,

Following document pages does not live some days.

http://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/book1.html
http://ats-lang.sourceforge.net/DOCUMENT/ATS2TUTORIAL/HTML/book1.html
http://ats-lang.sourceforge.net/EXAMPLE/EFFECTIVATS/

I think these pages simply have HTML and CSS files.
How about use github pages to host these ATS Documentation?

https://pages.github.com/

Thank's,
--
Kiwamu Okabe at METASEPI DESIGN

[Hongwei Xi]

I am thinking about the same thing :)

I really feel kind of sorry for sourceforge people.

--
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 post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAEvX6dn8b52g00a1O1io1%2Bv7yui1pKrgWmLDkHwPP1Rm7ppW4g%40mail.gmail.com.

[gmhwxi]

I have just added some backup links to the two books on ATS:

http://www.ats-lang.org/Documents.html

I would gradually add backup links to other important items
inside http://www.ats-lang.org

On Tuesday, July 21, 2015 at 10:33:11 PM UTC-4, gmhwxi wrote:

I am thinking about the same thing :)

I really feel kind of sorry for sourceforge people.

[Kiwamu Okabe]

Hi Hongwei,

On Wed, Jul 22, 2015 at 1:06 PM, gmhwxi <gmh...@gmail.com> wrote:
> I have just added some backup links to the two books on ATS:
>
> http://www.ats-lang.org/Documents.html
>
> I would gradually add backup links to other important items
> inside http://www.ats-lang.org

The URL is fixed? http://ats-lang.github.io/DOCUMENT/...
I would like to link it from my translation.

http://jats-ug.metasepi.org/doc/ATS2/INT2PROGINATS/index.html

[Hongwei Xi]

Yes, the URL is fixed.

--
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 post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.

To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAEvX6dmBn4Nkr1Qvxe%2BC5Ntmxu3deP5E56F9aa6TVLdxFuzvDQ%40mail.gmail.com.

[gmhwxi]

I have also added a backup link to the following page
(Effective ATS):

http://www.ats-lang.org/Documents.html#EFF2ATSPROGEX