[Ur] Ur on gitlab pages

[Artyom Shalkhakov]

2017-04-17 18:48 GMT+06:00 Adam Chlipala <adamc at csail.mit.edu>:
> 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.
>

I filed an issue here:

https://github.com/urweb/urweb/issues/76

I'd like some pointers on making it work.

>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur



-- 
Cheers,
Artyom Shalkhakov