| basic | Added a distr entry | 1988-04-18 10:21:30 +00:00 | 
		
			
			
			
			
				| cem | Added id.sed | 1988-04-18 10:23:45 +00:00 | 
		
			
			
			
			
				| m2 | Initial revision | 1988-04-18 10:24:30 +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 |