| .distr | Initial revision | 1987-04-13 10:32:47 +00:00 | 
		
			
			
			
			
				| ctot | changed font 5 references to font CW references | 1988-04-18 13:34:29 +00:00 | 
		
			
			
			
			
				| Makefile | Added use of -T option | 1988-05-04 10:14:48 +00:00 | 
		
			
			
			
			
				| p0 | Initial revision | 1987-02-26 10:26:19 +00:00 | 
		
			
			
			
			
				| p1 | changed font 5 references to font CW references | 1988-04-18 13:34:29 +00:00 | 
		
			
			
			
			
				| p2 | changed font 5 references to font CW references | 1988-04-18 13:34:29 +00:00 | 
		
			
			
			
			
				| p3 | changed font 5 references to font CW references | 1988-04-18 13:34:29 +00:00 | 
		
			
			
			
			
				| p4 | changed font 5 references to font CW references | 1988-04-18 13:34:29 +00:00 | 
		
			
			
			
			
				| p5 | Initial revision | 1987-02-26 10:26:19 +00:00 | 
		
			
			
			
			
				| p6 | Initial revision | 1987-02-26 10:26:19 +00:00 | 
		
			
			
			
			
				| p7 | Initial revision | 1987-02-26 10:26:19 +00:00 | 
		
			
			
			
			
				| p8 | changed font 5 references to font CW references | 1988-04-18 13:34:29 +00:00 | 
		
			
			
			
			
				| p9 | changed font 5 references to font CW references | 1988-04-18 13:34:29 +00:00 |