ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								53b430aed6
								
							
						 | 
						
							
							
								
								fixed some typos
							
							
							
							
							
						 | 
						
							1989-06-15 19:50:14 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								7161d59956
								
							
						 | 
						
							
							
								
								Added documentation about priority and optimizer keywords
							
							
							
							
							
						 | 
						
							1989-02-09 16:17:00 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								066439ec19
								
							
						 | 
						
							
							
								
								changed int?? to em??
							
							
							
							
							
						 | 
						
							1988-05-06 13:46:55 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								580b1c081f
								
							
						 | 
						
							
							
								
								cleaned up some garbage. How did it get there?
							
							
							
							
							
						 | 
						
							1988-04-18 15:54:20 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								a7329c38e3
								
							
						 | 
						
							
							
								
								Updated
							
							
							
							
							
						 | 
						
							1987-02-26 15:44:00 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									dick
								
							 
						 | 
						
							
							
							
							
								
							
							
								10569743c8
								
							
						 | 
						
							
							
								
								adapting to phototypesetter
							
							
							
							
							
						 | 
						
							1986-02-28 18:02:00 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									sater
								
							 
						 | 
						
							
							
							
							
								
							
							
								d90f26a8c5
								
							
						 | 
						
							
							
								
								added rcsid
							
							
							
							
							
						 | 
						
							1984-07-27 10:28:48 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									sater
								
							 
						 | 
						
							
							
							
							
								
							
							
								59c2380f85
								
							
						 | 
						
							
							
								
								Initial revision
							
							
							
							
							
						 | 
						
							1984-06-29 11:21:50 +00:00 | 
						
						
							
							
							
								
							
							
						 |