How about use github pages to host ATS Documentation?

Google Group
1

I am thinking about the same thing :slight_smile:

I really feel kind of sorry for sourceforge people.On Tue, Jul 21, 2015 at 10:25 PM, Kiwamu Okabe kiw...@debian.or.jp wrote:

Hi Hongwei,

Following document pages does not live some days.

Introduction to Programming in ATS
A Tutorial on Programming Features in ATS
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

–
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
.

2

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

http://www.ats-lang.org/Documents.html#EFF2ATSPROGEXOn Wednesday, July 22, 2015 at 12:06:21 AM UTC-4, gmhwxi 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

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

I am thinking about the same thing :slight_smile:

I really feel kind of sorry for sourceforge people.

On Tue, Jul 21, 2015 at 10:25 PM, Kiwamu Okabe <kiwamu@…> wrote:

Hi Hongwei,

Following document pages does not live some days.

Introduction to Programming in ATS
A Tutorial on Programming Features in ATS
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

3

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.orgOn Tuesday, July 21, 2015 at 10:33:11 PM UTC-4, gmhwxi wrote:

I am thinking about the same thing :slight_smile:

I really feel kind of sorry for sourceforge people.

On Tue, Jul 21, 2015 at 10:25 PM, Kiwamu Okabe <kiwamu@…> wrote:

Hi Hongwei,

Following document pages does not live some days.

Introduction to Programming in ATS
A Tutorial on Programming Features in ATS
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

4

Yes, the URL is fixed.On Wed, Jul 22, 2015 at 12:19 AM, Kiwamu Okabe kiw...@debian.or.jp wrote:

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.

ATSプログラミング入門

Thank’s,

Kiwamu Okabe at METASEPI DESIGN

–
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
.