pascal/fpc

Автор	SHA1 Съобщение	Дата
TUeSET	a7cc053328 * Bound functions near loops now partially work.	преди 19 години
TUeSET	ecd884f025 * Some minor code cleanups (corrections of annotation, and adding FORMAL	преди 19 години
TUeSET	20cf401bb4 * tobjectdef has now an attribute "invariant", with the class invariants.	преди 19 години
TUeSET	b3a1f78bc6 * Procedures and functions now have attributes "precondition" and "postcondition"	преди 19 години
TUeSET	ce5346eeea + pdecformal.pas - Parsing of declarations in formal annotation.	преди 19 години