 TUeSET
|
b3a1f78bc6
* Procedures and functions now have attributes "precondition" and "postcondition"
|
19 년 전 |
|
TUeSET
|
ce5346eeea
+ pdecformal.pas - Parsing of declarations in formal annotation.
|
19 년 전 |
|
TUeSET
|
11a165f565
* Added {@ and } tokens, with names _OPEN_FORMAL and _CLOSE_FORMAL.
|
19 년 전 |
 Jonas Maebe
|
ca48537867
Merged revisions 4333,4335-4336 via svnmerge from
|
19 년 전 |
 Tomas Hajny
|
d290cb5cb5
Merged revisions 4165 via svnmerge from
|
19 년 전 |
|
Tomas Hajny
|
179395ea7a
* 'merged' from trunk: $FPCVER->$FPCVERSION, $FPCFULLVERSION in logo, copyright
|
19 년 전 |
 florian
|
5f8ef4aa76
Merged revisions 3646-3647 via svnmerge from
|
19 년 전 |
|
florian
|
24fd9d397d
Merged revisions 3500 via svnmerge from
|
19 년 전 |
|
Jonas Maebe
|
7fc3548c35
Merged revisions 2523,2774,2949,2951,2954 via svnmerge from
|
19 년 전 |
 peter
|
e6f0e40584
Merged revisions 2444,2472,2481-2484,2487-2488 via svnmerge from
|
19 년 전 |
|
peter
|
9759c14244
Merged revisions 1913-1914,1920,1922,1925,1957,1976,2024,2038,2052,2126,2140 via svnmerge from
|
20 년 전 |
|
florian
|
c9d036acd0
Merged revisions 2217 via svnmerge from
|
20 년 전 |
|
Jonas Maebe
|
44a609a487
Merged revisions 2168 via svnmerge from
|
20 년 전 |
|
florian
|
edcef083e3
Merged revisions 2134,2136 via svnmerge from
|
20 년 전 |
|
Jonas Maebe
|
d9e13a527d
Merged revisions 2099 via svnmerge from
|
20 년 전 |
|
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 년 전 |
|
florian
|
deb7cc201c
Merged revisions 1321,1827 via svnmerge from
|
20 년 전 |
 joost
|
40b7a41d70
Merged revisions 1655-1657,1667,1677,1680 via svnmerge from
|
20 년 전 |
|
florian
|
bd04d53c7e
Merged revisions 1559-1561,1563-1564 via svnmerge from
|
20 년 전 |
|
florian
|
9b94d5572e
Merged revisions 1384 via svnmerge from
|
20 년 전 |
|
peter
|
4ca437ca2a
Merged revisions 1106,1114 via svnmerge from
|
20 년 전 |
|
peter
|
00a5bcb0bc
Merged revisions 503,513,541,1077 via svnmerge from
|
20 년 전 |
|
peter
|
ab34e9e784
Merged revisions 943 via svnmerge from
|
20 년 전 |
|
peter
|
60f8a57d4e
Merged revisions 919 via svnmerge from
|
20 년 전 |
|
florian
|
864f61d68b
Merged revisions 781 via svnmerge from
|
20 년 전 |
|
peter
|
01ce5d2d4d
Merged revisions 512,531 via svnmerge from
|
20 년 전 |
|
peter
|
186683ccee
Merged revisions 582 via svnmerge from
|
20 년 전 |
|
florian
|
0b62a2e7fb
Merged revisions 509 via svnmerge from
|
20 년 전 |
|
peter
|
c8397915a4
Merged revisions 428-429 via svnmerge from
|
20 년 전 |
|
peter
|
890544454e
Merged revisions 394 via svnmerge from
|
20 년 전 |
