TUeSET
|
a7cc053328
* Bound functions near loops now partially work.
|
vor 19 Jahren |
TUeSET
|
ecd884f025
* Some minor code cleanups (corrections of annotation, and adding FORMAL
|
vor 19 Jahren |
TUeSET
|
20cf401bb4
* tobjectdef has now an attribute "invariant", with the class invariants.
|
vor 19 Jahren |
TUeSET
|
b3a1f78bc6
* Procedures and functions now have attributes "precondition" and "postcondition"
|
vor 19 Jahren |
TUeSET
|
ce5346eeea
+ pdecformal.pas - Parsing of declarations in formal annotation.
|
vor 19 Jahren |