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