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