| .distr | Initial revision | 1989-02-14 15:52:25 +00:00 | 
		
			
			
			
			
				| mach.c | adapted to use 80387 floating point format | 1989-10-24 15:00:09 +00:00 | 
		
			
			
			
			
				| mach.h | adapted to use 80387 floating point format | 1989-10-24 15:00:09 +00:00 | 
		
			
			
			
			
				| Makefile | added CPP variable to Makefile | 1989-10-20 11:05:00 +00:00 |