I was in the middle of changing something. It should work now.
On Monday, August 8, 2016 at 4:46:48 PM UTC-4, Zhiqiang Ren wrote: > > 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/1f5537b4-5673-461a-bbaf-7f91d7c79104%40googlegroups.com.
