[Ur] Ur on gitlab pages

Adam Chlipala adamc at csail.mit.edu
Mon Apr 17 08:48:15 EDT 2017


On 04/16/2017 11:10 PM, Artyom Shalkhakov wrote:
> * [wget] is used to scrape the pages and save them to a file (using
> -static protocol, I could not get the dynamic JS file output)

I hadn't thought of that case, so it sounds like a good new feature to 
request: outputting JavaScript code in '-static' mode.



More information about the Ur mailing list