[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Parsing Error in Consensus.tla
Thanks for the reminder. I just corrected the error in the copy on the Web. I still don't know how it happened, because I believe that file is one that the prover was run on. I have newer versions that I should post. But I believe that the files on the Web are the ones mentioned in published paper, so they should be kept where they are.
On Monday, June 27, 2016 at 6:20:23 PM UTC-7, Andrew Wilcox wrote: