Hello, everyone. I know that as a first post this is quite shallow, but I
am trying to learn ATS by reading the official book, and I find the default
CSS quite unreadable.
I have taken the liberty to write a few lines of CSS that have improved my
experience - one can apply them in Firefox using the style editor, and I am
sure a similar mechanism exists in other browsers - so I wanted to share
this with the group.
Best,
Andrea
book.css (440 Bytes)
I hope to be able to use sphinx someday:
“ATS Programming Foundations” — ATS Programming Foundations 0.2.0 documentation
Sphinx is two things: a structured markup language and a
processing/presentation tool. What’s noticeable in this case, is the
presentation. IMO, choosing a markup language for the presentations its
standard tool offers, may be an error. As an example, DITA is an OASIS
standard (better standard to my opinion than Sphinx) and can be used to
produce presentation similar to the good one at the link above.
I personally enjoy Sphinx’s generated presentations, but less its markup
language and processing model.
This comment was just to avoid a confusion, and was not to say Sphinx is
not good (even if I personally believe DITA is a better standard than
Sphinx, there are people who have the opposite opinion).
The source of the intro-to-ATS book is written in something I called ATEXT;
it was planned for supporting so-called literate programming. Now this
plan is
pretty much abandoned (and the new plan uses PHP instead). From ATEXT, I
can generate DocBook format.
DocBook is standard and is XML, so it would be a good option. There must
some XSLT already available for this on the web.
Thanks!
For using this css, I manually inserted a line into the following html file
http://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/INT2PROGINATS-BOOK.html
I use docbook. Does anyone know a way to do this through a command-line?
I hope to be able to use sphinx someday:
http://jats-ug.metasepi.org/doc/ATS2/ATS_Foundations/index.html
But I will wait until the intro-to-ATS book is pretty much completed. Right
now, I still need to add Part V
on template-based programming.
Cheers!On Wednesday, January 28, 2015 at 4:30:17 AM UTC-5, Andrea Ferretti wrote:
Hello, everyone. I know that as a first post this is quite shallow, but I
am trying to learn ATS by reading the official book, and I find the default
CSS quite unreadable.I have taken the liberty to write a few lines of CSS that have improved my
experience - one can apply them in Firefox using the style editor, and I am
sure a similar mechanism exists in other browsers - so I wanted to share
this with the group.Best,
Andrea
It would be really nice to use Sphinx and obtain an output such as in
ATS Foundations.
What are the sources whence the current book HTML is compiled? It may
not be that difficult to translate it to a format that Sphinx can
understand
2015-01-29 13:17 GMT+01:00 ‘Yannick Duchêne’ via ats-lang-users
ats-lan...@googlegroups.com:
Yeah, I was wondering whether these XML source are available
somewhere, so that I could try and see if I come up with something
useful
2015-01-29 13:44 GMT+01:00 ‘Yannick Duchêne’ via ats-lang-users
ats-lan...@googlegroups.com:
If it can be done using XSLT, then it is really the best.
Another option for me is to turn ATEXT into whatever that can be presented
nicely. I will think about this once the book is finished.On Thursday, January 29, 2015 at 7:44:17 AM UTC-5, Yannick Duchêne wrote:
Le jeudi 29 janvier 2015 13:33:47 UTC+1, Andrea Ferretti a écrit :
It would be really nice to use Sphinx and obtain an output such as in
ATS Foundations.What are the sources whence the current book HTML is compiled? It may
not be that difficult to translate it to a format that Sphinx can
understandIf the original sources are XML, then probably an XSLT sheet could do the
job without the need to use Sphinx at all (by the way, DITA‑OT rely a lot
on XSLT for its presentations generation).
Appearances are important in my opinion, look forward to seeing it myself
later. Though, I didn’t have any particular issues with the book
previously, it admittedly doesn’t look like it was designed by a silicon
valley startup.On Wed, Jan 28, 2015 at 4:30 AM, Andrea Ferretti ferrett...@gmail.com wrote:
Hello, everyone. I know that as a first post this is quite shallow, but I
am trying to learn ATS by reading the official book, and I find the default
CSS quite unreadable.I have taken the liberty to write a few lines of CSS that have improved my
experience - one can apply them in Firefox using the style editor, and I am
sure a similar mechanism exists in other browsers - so I wanted to share
this with the group.Best,
Andrea–
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/7c7f1c84-c940-4d4f-96ca-0dc25c1ae973%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/7c7f1c84-c940-4d4f-96ca-0dc25c1ae973%40googlegroups.com?utm_medium=email&utm_source=footer
.
Brandon Barker
brandon...@gmail.com
It would be really nice to use Sphinx and obtain an output such as in
ATS Foundations.What are the sources whence the current book HTML is compiled? It may
not be that difficult to translate it to a format that Sphinx can
understand
If the original sources are XML, then probably an XSLT sheet could do the
job without the need to use Sphinx at all (by the way, DITA‑OT rely a lot
on XSLT for its presentations generation).
The source of the intro-to-ATS book is written in something I called ATEXT;
it was planned for supporting so-called literate programming. Now this plan
is
pretty much abandoned (and the new plan uses PHP instead). From ATEXT, I
can generate DocBook format. For instance, you can take a look at the files
in the following directory:
There must be a better way to present contents written in DocBook format
than what I use. Unfortunately, I do not know.On Thursday, January 29, 2015 at 7:50:53 AM UTC-5, Andrea Ferretti wrote:
Yeah, I was wondering whether these XML source are available
somewhere, so that I could try and see if I come up with something
useful2015-01-29 13:44 GMT+01:00 ‘Yannick Duchêne’ via ats-lang-users
<ats-l...@googlegroups.com <javascript:>>:Le jeudi 29 janvier 2015 13:33:47 UTC+1, Andrea Ferretti a écrit :
It would be really nice to use Sphinx and obtain an output such as in
ATS Foundations.What are the sources whence the current book HTML is compiled? It may
not be that difficult to translate it to a format that Sphinx can
understandIf the original sources are XML, then probably an XSLT sheet could do
the
job without the need to use Sphinx at all (by the way, DITA‑OT rely a
lot on
XSLT for its presentations generation).–
You received this message because you are subscribed to a topic in the
Google Groups “ats-lang-users” group.
To unsubscribe from this topic, visit
https://groups.google.com/d/topic/ats-lang-users/O4LgS4OWbGQ/unsubscribe.To unsubscribe from this group and all its topics, 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