|
basic
|
Added a distr entry
|
1988-04-18 10:21:30 +00:00 |
|
cem
|
check for total size of locals and parameters
|
1988-04-15 17:25:01 +00:00 |
|
m2
|
generate message about parameter count
|
1988-04-15 17:29:02 +00:00 |
|
occam
|
use stty/gtty instead of ioctl
|
1988-04-15 15:03:32 +00:00 |
|
pc
|
don't generate HOL's of zero size
|
1988-04-08 09:46:04 +00:00 |
|
.distr
|
Added m2
|
1988-04-08 13:10:18 +00:00 |
