[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: TLA+ Video Course

I forgot to add:  Please send your comments to me directly (address at http://lamport.org) rather than posting them to the group.

Thanks,

Leslie