OK, changed. Sergey 2013/12/10 Adam Chlipala <[email protected]>: > 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<[email protected]>: >> >>> >>> 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? :) >>> > >
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
