Joe-E command-line verifier

David Wagner <[email protected]>
Newsgroups gmane.comp.lang.e.general
Message-ID <[email protected]> 
I don't think anyone ever announced this, so I thought I might as well
make note of it, for those who may be interested:

Earlier this year Adrian quietly released a version of Joe-E that includes
a command-line verifier, so that the Joe-E verifier can be used from the
command line in batch mode (without requiring use of the Eclipse GUI).
This was implemented by a Berkeley students Akshay Krishnamurthy and Kanav
Arora, under Adrian Mettler's direction and with Adrian's assistance.
Thanks, Akshay, Kanav, and Adrian!
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.