[Ur] ANNOUNCE urembed - file-to-urp converter

Adam Chlipala adamc at csail.mit.edu
Wed Aug 28 14:10:15 EDT 2013

Previous message: [Ur] ANNOUNCE urembed - file-to-urp converter
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Wow, that is diabolical. :D

On 08/28/2013 12:03 PM, Sergey Mironov wrote:
> This tool embeds file(s) into the Ur/Web project
>

Previous message: [Ur] ANNOUNCE urembed - file-to-urp converter
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Ur mailing list