I clicked the patsopt_tc button, no output is generated. Is the server on? On Tuesday, August 2, 2016 at 7:34:17 PM UTC-4, gmhwxi wrote: > > > > I am preparing some assignments for a programming > language course based on ATS. Here is a web-based sample: > > http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign01.html > > In this sample, one can clearly see how the following services > can be invoked in HTML5: > > patsopt-tc, patsopt-cc, patsopt-cc2js and pats2xhtml. > > From this point on, one should be able to create a template for > generating a page like assign01.html. > > Cheers! > >
-- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/5cb630ff-7caa-4503-aeb6-45448ae8cdbf%40googlegroups.com.
