diff options
| author | Tim Chevalier <[email protected]> | 2011-05-04 11:32:06 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2011-05-05 11:26:07 -0700 |
| commit | acf9bd7909a4f6a68d974cabff96c4b72791c201 (patch) | |
| tree | 6b1e5761e7dcdb8625941cf7d02387a554f534ed /doc/rust.texi | |
| parent | Bring back "pred" syntax for writing predicates for check (diff) | |
| download | rust-acf9bd7909a4f6a68d974cabff96c4b72791c201.tar.xz rust-acf9bd7909a4f6a68d974cabff96c4b72791c201.zip | |
Test cases for pred / check stuff
Diffstat (limited to 'doc/rust.texi')
0 files changed, 0 insertions, 0 deletions