ceriel ede92325cc Fixed some bugs with the setxx instructions 29 lat temu
..
.distr 7623cb11f5 New installation mechanism 33 lat temu
Makefile 7ad8e806dc removed -i flag 33 lat temu
mach.c 66d018dc88 Added -F option to indicate name of floating point hook 29 lat temu
mach.h f26dd7bb01 Header --> Id 30 lat temu
table ede92325cc Fixed some bugs with the setxx instructions 29 lat temu