Another change: I made the package version available in the package itself. The branch changes the parameter passed to the function run() of the proofer. With Charmworld, there is at least one other project that uses the proofer. Having a simple way to discover the version of charmtools makes it easier for charmworld to figure out how to call proof.run().
Another change: I made the package version available in the package itself. The branch changes the parameter passed to the function run() of the proofer. With Charmworld, there is at least one other project that uses the proofer. Having a simple way to discover the version of charmtools makes it easier for charmworld to figure out how to call proof.run().