[Ur] [UrWeb] urscript library plus a couple of patches

[Sergey Mironov]

OK, changed.
Sergey

2013/12/10 Adam Chlipala <adamc at csail.mit.edu>:
> One small style suggestion: Call the .urp file lib.urp, and then other .urp
> files can load your library with
>     library /somewhere/urscript
> rather than the more verbose
>     library /somewhere/urscript/Script
>
>
> On 12/06/2013 09:00 AM, Sergey Mironov wrote:
>>
>> Looks like I forgot to post the link. Here it is.
>>
>> https://github.com/grwlf/urscript
>>
>> Sergey
>>
>> 2013/12/6 Adam Chlipala<adamc at csail.mit.edu>:
>>
>>>
>>> On 12/06/2013 06:52 AM, Sergey Mironov wrote:
>>>
>>>>
>>>> Hi. I wrote a small library which allows to insert<script>   tags
>>>> referencing foreign scripts.
>>>>
>>>>
>>>
>>>
>>> Did I miss some place where you explain where to find your library? :)
>>>
>
>