My favorites | Sign in
Project Home Wiki Issues Source
READ-ONLY: This project has been archived. For more information see this post.
Search
for
  Advanced search   Search tips   Subscriptions
Issue 25: More flexible implication syntax, and support in invariants and methods
  Back to list
 
Project Member Reported by kevin.bi...@gmail.com, Sep 23, 2008
Allow state tests and permissions in implication pre-conditions.
Sep 23, 2008
Project Member #1 kevin.bi...@gmail.com
(No comment was entered for this change.)
Labels: Usability

Powered by Google Project Hosting