[Ur] I'm planning a new release in the first days of 2019.

Adam Chlipala adamc at csail.mit.edu
Tue Dec 25 09:29:53 EST 2018


A bunch of good stuff has been merged into Ur/Web over the last few 
months, so I'd like to put out a new release shortly after I finish my 
current vacation.  Please let us all know if you think any further 
changes are worth making first.  The best way to give said notice is by 
submitting a PR on GitHub!




More information about the Ur mailing list