dtrg
|
9bc8c07deb
Replaced references to /usr/tmp with references to /tmp.
|
19 years ago |
ceriel
|
5c83e7dbb5
Header --> Id
|
30 years ago |
ceriel
|
17352b8b8d
Added code to optimize multiplies with constants
|
33 years ago |
eck
|
58355b7041
changed stackheight computation to top element size computation
|
34 years ago |
eck
|
379511e232
added stackheight computation
|
34 years ago |
ceriel
|
6c812387fd
Added copyright notice
|
37 years ago |
sater
|
b40016f6fd
added rcsid
|
40 years ago |
sater
|
ac23d5c871
Initial revision
|
40 years ago |