A New Website for ATS

[Hongwei Xi]

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

[Martin DeMello]

minor quibble, but i think the page looks dramatically better if <div id="thePage"> has its background colour set to white.

martin

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

[Barry Schwartz]

Hongwei Xi <gmh...@gmail.com> 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.

[gmhwxi]

Fixed.

Thanks,

--Hongwei

[gmhwxi]

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

[Martin DeMello]

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

martin

To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/b9032e38-e7ac-4b02-8ba7-230606943c20%40googlegroups.com.

[Barry Schwartz]

gmhwxi <gmh...@gmail.com> skribis:

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

Better. And I am both hypersensitive and having a migraine attack, so
it’s a good test IMO. :)

[Yannick Duchêne]

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.

[gmhwxi]

Please if you have time.

[gmhwxi]

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

The more, the merrier :)