[Ur] UrFlow Not in Manual

Adam Chlipala adamc at csail.mit.edu
Sat Mar 29 07:53:52 EDT 2014


On 03/29/2014 02:27 AM, escalier at riseup.net wrote:
> Is the omission of the `-iflow` flag (and any mention of UrFlow generally)
> in the manual deliberate?
>    

Unfortunately, yes; this feature is not really ready for prime time.



More information about the Ur mailing list