https://github.com/hoaproject/Praspel
Tip revision: f7801604c0631304547eee00b68ce3174d40ccdc authored by Ivan Enderlin on 24 February 2015, 08:38:30 UTC
Prepare 0.15.02.24.
Prepare 0.15.02.24.
Tip revision: f780160
File | Mode | Size |
---|---|---|
Variable | ||
Behavior.php | -rw-r--r-- | 8.4 KB |
Clause.php | -rw-r--r-- | 4.4 KB |
Collection.php | -rw-r--r-- | 6.5 KB |
Declaration.php | -rw-r--r-- | 8.0 KB |
DefaultBehavior.php | -rw-r--r-- | 2.5 KB |
Description.php | -rw-r--r-- | 4.0 KB |
Ensures.php | -rw-r--r-- | 2.1 KB |
Invariant.php | -rw-r--r-- | 2.1 KB |
Is.php | -rw-r--r-- | 4.2 KB |
Requires.php | -rw-r--r-- | 2.1 KB |
Specification.php | -rw-r--r-- | 4.1 KB |
Throwable.php | -rw-r--r-- | 8.2 KB |