Homebrew tap updated with new release. You can 'brew upgrade urweb' to get it on your mac.
Regards, Eran. On Sun, Oct 18, 2015 at 5:55 PM, Adam Chlipala <[email protected]> wrote: > Available as usual at: http://www.impredicative.com/ur/ > > CHANGELOG for this release: > > - Applications now reconnect to database server automatically after losing > connection. > - Bug fixes and improvements to compatibility, documentation, and error > messages > > > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
