P.S.: Ur/Web is now included in Debian stable! Thanks to Benjamin Barenblat for maintaining the package.
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
I'd like to make a new release early next week. I just cleared the
backlog of bug reports and merge-ready PRs, I think. Are there any
other changes appropriate to make before a release?
- [Ur] Anything to squeeze in before a new Ur/Web release? Adam Chlipala
- Re: [Ur] Anything to squeeze in before a new Ur/Web... Artyom Shalkhakov
- Re: [Ur] Anything to squeeze in before a new Ur... Adam Chlipala
