Istoricul angajamentelor

Autor SHA1 Permisiunea de a trimite mesaje. Dacă este dezactivată, utilizatorul nu va putea trimite nici un fel de mesaj Data
  TUeSET a7cc053328 * Bound functions near loops now partially work. 19 ani în urmă
  TUeSET ecd884f025 * Some minor code cleanups (corrections of annotation, and adding FORMAL 19 ani în urmă
  TUeSET 20cf401bb4 * tobjectdef has now an attribute "invariant", with the class invariants. 19 ani în urmă
  TUeSET b3a1f78bc6 * Procedures and functions now have attributes "precondition" and "postcondition" 19 ani în urmă
  TUeSET ce5346eeea + pdecformal.pas - Parsing of declarations in formal annotation. 19 ani în urmă