diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-06-28T13·51+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-06-28T13·51+0000 |
commit | 4d2946c516aefd26daec8b2f4c4248e43ce85a62 (patch) | |
tree | ee9939325dbee6ef039ed9acc035a724bf34ada4 /doc/dev/release-procedures.txt | |
parent | 24286e15c9822833c39d268e521522b9933db28e (diff) |
* In a realisation goal, check the result of the corresponding
normalisation goal.
Diffstat (limited to 'doc/dev/release-procedures.txt')
0 files changed, 0 insertions, 0 deletions