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

[Adam Chlipala]

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? :)
>>