 TUeSET
|
b3a1f78bc6
* Procedures and functions now have attributes "precondition" and "postcondition"
|
19 years ago |
|
TUeSET
|
ce5346eeea
+ pdecformal.pas - Parsing of declarations in formal annotation.
|
19 years ago |
|
TUeSET
|
11a165f565
* Added {@ and } tokens, with names _OPEN_FORMAL and _CLOSE_FORMAL.
|
19 years ago |
 Tomas Hajny
|
c51416a911
Merged revisions 4394 via svnmerge from
|
19 years ago |
|
Tomas Hajny
|
9791197b82
Merged revisions 4364 via svnmerge from
|
19 years ago |
|
Tomas Hajny
|
9c1d7236f5
Merged revisions 4261 via svnmerge from
|
19 years ago |
|
Tomas Hajny
|
94e7af8575
Merged revisions 4214-4215 via svnmerge from
|
19 years ago |
|
Tomas Hajny
|
d290cb5cb5
Merged revisions 4165 via svnmerge from
|
19 years ago |
|
Tomas Hajny
|
64d4892a6a
* 'merged' from trunk: $FPCVER->$FPCVERSION, $FPCFULLVERSION in logo, copyright
|
19 years ago |
|
Tomas Hajny
|
5553eafe95
* 2.0.4: missing description line added (wrong merge from trunk)
|
19 years ago |
|
Tomas Hajny
|
e4f639a203
* merged fixes from trunk (where appropriate)
|
19 years ago |
 florian
|
44099c4981
Merged revisions 3694 via svnmerge from
|
19 years ago |
|
florian
|
5f8ef4aa76
Merged revisions 3646-3647 via svnmerge from
|
19 years ago |
|
Tomas Hajny
|
acc7b103f0
* added descriptions for -Op4 and -Op5
|
19 years ago |
 Jonas Maebe
|
1dbddf02c9
Merged revisions 3205,3207,3225 via svnmerge from
|
19 years ago |
|
Jonas Maebe
|
6737e010dc
Merged revisions 3182,3191-3193,3195,3197-3198,3200 via svnmerge from
|
19 years ago |
|
Jonas Maebe
|
7fc3548c35
Merged revisions 2523,2774,2949,2951,2954 via svnmerge from
|
19 years ago |
 peter
|
ae38848307
Merged revisions 2556-2558,2604,2630-2631,2635,2638,2640,2649,2657,2660-2664,2678,2706,2719-2720,2724,2746-2750,2759,2761,2767-2768,2776-2777,2787 via svnmerge from
|
19 years ago |
|
peter
|
e6f0e40584
Merged revisions 2444,2472,2481-2484,2487-2488 via svnmerge from
|
19 years ago |
|
peter
|
9759c14244
Merged revisions 1913-1914,1920,1922,1925,1957,1976,2024,2038,2052,2126,2140 via svnmerge from
|
20 years ago |
|
florian
|
c9d036acd0
Merged revisions 2217 via svnmerge from
|
20 years ago |
|
Jonas Maebe
|
44a609a487
Merged revisions 2168 via svnmerge from
|
20 years ago |
|
florian
|
edcef083e3
Merged revisions 2134,2136 via svnmerge from
|
20 years ago |
|
Jonas Maebe
|
d9e13a527d
Merged revisions 2099 via svnmerge from
|
20 years ago |
|
peter
|
7549fa9d59
Merged revisions 1756,1764-1774,1776-1777,1784-1785,1787,1791,1797,1813,1823,1825-1826,1829-1869,1871-1872,1875-1878,1880-1881,1884,1890-1891 via svnmerge from
|
20 years ago |
|
florian
|
deb7cc201c
Merged revisions 1321,1827 via svnmerge from
|
20 years ago |
|
Tomas Hajny
|
7452efe3f3
Merged revisions 1684 via svnmerge from
|
20 years ago |
|
florian
|
bd04d53c7e
Merged revisions 1559-1561,1563-1564 via svnmerge from
|
20 years ago |
|
florian
|
9b94d5572e
Merged revisions 1384 via svnmerge from
|
20 years ago |
|
peter
|
4ca437ca2a
Merged revisions 1106,1114 via svnmerge from
|
20 years ago |
