A New Website for ATS

Google Group
1

I managed to upload a new web site for ATS:

http://www.ats-lang.org

It is the same URL, but it gets re-directed to rhcloud.com, where
the new website is hosted.

Compared to the previous website, this one has considerable amount of
dynamic
content. In particular, there is support for trying ATS on-line. The source
for the new
site is stored at:

The tools atscc2js and atscc2php have been used extensively in generating
some of the JS code and PHP code for this website.

Certain pages are not yet ready yet. In particular, the Library page is
just a placeholder.

As always, comments and suggestions are welcome.

Cheers!

–Hongwei

2

Also, I would like to ask people interested in
improving the website to send me examples written in ATS.

The more, the merrier :)On Saturday, October 18, 2014 3:35:07 PM UTC-4, gmhwxi wrote:

Please if you have time.

On Saturday, October 18, 2014 1:26:52 PM UTC-4, Yannick Duchêne wrote:

The page uses in‑line CSS. Do you mind using an external CSS file? I will
try to redesign the CSS a bit a later day and post a alternate CSS in this
thread.

Le samedi 18 octobre 2014 01:08:11 UTC+2, gmhwxi a écrit :

I managed to upload a new web site for ATS:

http://www.ats-lang.org

It is the same URL, but it gets re-directed to rhcloud.com, where
the new website is hosted.

Compared to the previous website, this one has considerable amount of
dynamic
content. In particular, there is support for trying ATS on-line. The
source for the new
site is stored at:

https://github.com/githwxi/ATS-Postiats/tree/master/doc/PROJECT/MEDIUM/ats2langweb

The tools atscc2js and atscc2php have been used extensively in
generating some of the JS code and PHP code for this website.

Certain pages are not yet ready yet. In particular, the Library page is
just a placeholder.

As always, comments and suggestions are welcome.

Cheers!

–Hongwei

3

Fixed.

Thanks,

–HongweiOn Friday, October 17, 2014 7:35:47 PM UTC-4, Barry Schwartz wrote:

Hongwei Xi <gmh...@gmail.com <javascript:>> skribis:

Certain pages are not yet ready yet. In particular, the Library page is
just a placeholder.

A bigger problem is that the book is a dead link.

4

minor quibble, but i think the page looks dramatically better if

has its background colour set to white.

martinOn Fri, Oct 17, 2014 at 4:08 PM, Hongwei Xi gmh...@gmail.com wrote:

I managed to upload a new web site for ATS:

http://www.ats-lang.org

It is the same URL, but it gets re-directed to rhcloud.com, where
the new website is hosted.

Compared to the previous website, this one has considerable amount of
dynamic
content. In particular, there is support for trying ATS on-line. The
source for the new
site is stored at:

https://github.com/githwxi/ATS-Postiats/tree/master/doc/PROJECT/MEDIUM/ats2langweb

The tools atscc2js and atscc2php have been used extensively in generating
some of the JS code and PHP code for this website.

Certain pages are not yet ready yet. In particular, the Library page is
just a placeholder.

As always, comments and suggestions are welcome.

Cheers!

–Hongwei

–
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/CAPPSPLrA7yGxz8twQoqkq%3DQROGuaaR08uyP2FBfhLraeUjbKCQ%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLrA7yGxz8twQoqkq%3DQROGuaaR08uyP2FBfhLraeUjbKCQ%40mail.gmail.com?utm_medium=email&utm_source=footer
.

5

The page uses in‑line CSS. Do you mind using an external CSS file? I will
try to redesign the CSS a bit a later day and post a alternate CSS in this
thread.Le samedi 18 octobre 2014 01:08:11 UTC+2, gmhwxi a écrit :

I managed to upload a new web site for ATS:

http://www.ats-lang.org

It is the same URL, but it gets re-directed to rhcloud.com, where
the new website is hosted.

Compared to the previous website, this one has considerable amount of
dynamic
content. In particular, there is support for trying ATS on-line. The
source for the new
site is stored at:

https://github.com/githwxi/ATS-Postiats/tree/master/doc/PROJECT/MEDIUM/ats2langweb

The tools atscc2js and atscc2php have been used extensively in generating
some of the JS code and PHP code for this website.

Certain pages are not yet ready yet. In particular, the Library page is
just a placeholder.

As always, comments and suggestions are welcome.

Cheers!

–Hongwei

6

Let us give it a try. I now use #fffff0.On Friday, October 17, 2014 7:13:58 PM UTC-4, Martin DeMello wrote:

minor quibble, but i think the page looks dramatically better if

has its background colour set to white.

martin

On Fri, Oct 17, 2014 at 4:08 PM, Hongwei Xi <gmh...@gmail.com <javascript:>> wrote:

I managed to upload a new web site for ATS:

http://www.ats-lang.org

It is the same URL, but it gets re-directed to rhcloud.com, where
the new website is hosted.

Compared to the previous website, this one has considerable amount of
dynamic
content. In particular, there is support for trying ATS on-line. The
source for the new
site is stored at:

https://github.com/githwxi/ATS-Postiats/tree/master/doc/PROJECT/MEDIUM/ats2langweb

The tools atscc2js and atscc2php have been used extensively in generating
some of the JS code and PHP code for this website.

Certain pages are not yet ready yet. In particular, the Library page is
just a placeholder.

As always, comments and suggestions are welcome.

Cheers!

–Hongwei

–
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...@googlegroups.com <javascript:>.
To post to this group, send email to ats-l...@googlegroups.com
<javascript:>.
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/CAPPSPLrA7yGxz8twQoqkq%3DQROGuaaR08uyP2FBfhLraeUjbKCQ%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLrA7yGxz8twQoqkq%3DQROGuaaR08uyP2FBfhLraeUjbKCQ%40mail.gmail.com?utm_medium=email&utm_source=footer
.

7

definitely looks better to me! i still preferred the white, but i won’t
complain about pale yellow either :slight_smile:

martinOn Fri, Oct 17, 2014 at 5:10 PM, gmhwxi gmh...@gmail.com wrote:

Let us give it a try. I now use #fffff0.

On Friday, October 17, 2014 7:13:58 PM UTC-4, Martin DeMello wrote:

minor quibble, but i think the page looks dramatically better if

has its background colour set to white.

martin

On Fri, Oct 17, 2014 at 4:08 PM, Hongwei Xi gmh...@gmail.com wrote:

I managed to upload a new web site for ATS:

http://www.ats-lang.org

It is the same URL, but it gets re-directed to rhcloud.com, where
the new website is hosted.

Compared to the previous website, this one has considerable amount of
dynamic
content. In particular, there is support for trying ATS on-line. The
source for the new
site is stored at:

https://github.com/githwxi/ATS-Postiats/tree/master/doc/
PROJECT/MEDIUM/ats2langweb

The tools atscc2js and atscc2php have been used extensively in
generating some of the JS code and PHP code for this website.

Certain pages are not yet ready yet. In particular, the Library page is
just a placeholder.

As always, comments and suggestions are welcome.

Cheers!

–Hongwei

–
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...@googlegroups.com.
To post to this group, send email to ats-l...@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/CAPPSPLrA7yGxz8twQoqkq%
3DQROGuaaR08uyP2FBfhLraeUjbKCQ%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLrA7yGxz8twQoqkq%3DQROGuaaR08uyP2FBfhLraeUjbKCQ%40mail.gmail.com?utm_medium=email&utm_source=footer
.

–
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/b9032e38-e7ac-4b02-8ba7-230606943c20%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/b9032e38-e7ac-4b02-8ba7-230606943c20%40googlegroups.com?utm_medium=email&utm_source=footer
.

8

Please if you have time.On Saturday, October 18, 2014 1:26:52 PM UTC-4, Yannick Duchêne wrote:

The page uses in‑line CSS. Do you mind using an external CSS file? I will
try to redesign the CSS a bit a later day and post a alternate CSS in this
thread.

Le samedi 18 octobre 2014 01:08:11 UTC+2, gmhwxi a écrit :

I managed to upload a new web site for ATS:

http://www.ats-lang.org

It is the same URL, but it gets re-directed to rhcloud.com, where
the new website is hosted.

Compared to the previous website, this one has considerable amount of
dynamic
content. In particular, there is support for trying ATS on-line. The
source for the new
site is stored at:

https://github.com/githwxi/ATS-Postiats/tree/master/doc/PROJECT/MEDIUM/ats2langweb

The tools atscc2js and atscc2php have been used extensively in generating
some of the JS code and PHP code for this website.

Certain pages are not yet ready yet. In particular, the Library page is
just a placeholder.

As always, comments and suggestions are welcome.

Cheers!

–Hongwei