dtrg
|
a7939a407b
|
Rationalised use of #includes to be more standards-compliant.
|
2006-07-20 23:04:15 +00:00 |
|
ceriel
|
bcc84a94d5
|
Header --> Id
|
1994-06-24 11:31:16 +00:00 |
|
ceriel
|
ebdcf062ec
|
call abort() only when NDEBUG is not defined
|
1994-02-25 14:01:54 +00:00 |
|
eck
|
ce530f7ea3
|
changed stackheight computation to top element size computation
|
1990-09-04 16:42:43 +00:00 |
|
eck
|
c08f3b3c80
|
added stackheight computation
|
1990-07-18 14:33:07 +00:00 |
|
ceriel
|
325abcee85
|
Improved label handling and handling of jumps to jumps
|
1989-02-06 14:39:08 +00:00 |
|
ceriel
|
ba5c406d27
|
Added copyright notice
|
1987-03-10 01:42:07 +00:00 |
|
sater
|
29f2c7b401
|
added rcsid
|
1984-05-17 13:57:07 +00:00 |
|
sater
|
c3f82d4864
|
Initial revision
|
1984-05-17 13:42:36 +00:00 |
|