Updated .distr files for the new release. 
						
					 
				 
				2007-02-25 12:51:55 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Header --> Id 
						
					 
				 
				1994-06-24 11:31:16 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Header --> Id 
						
					 
				 
				1994-06-24 11:31:16 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Header --> Id 
						
					 
				 
				1994-06-24 11:31:16 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							New installation mechanism 
						
					 
				 
				1991-08-27 09:41:49 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Header --> Id 
						
					 
				 
				1994-06-24 11:31:16 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Changes to manual page 
						
					 
				 
				1991-10-01 12:18:39 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Rearranged the algorithm in get_text() to fix a memory overrun. 
						
					 
				 
				2006-07-21 09:28:36 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							use stdarg when compiling with ANSI C compiler, and some other minor changes 
						
					 
				 
				1995-08-17 13:33:55 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Header --> Id 
						
					 
				 
				1994-06-24 11:31:16 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Header --> Id 
						
					 
				 
				1994-06-24 11:31:16 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Header --> Id 
						
					 
				 
				1994-06-24 11:31:16 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Header --> Id 
						
					 
				 
				1994-06-24 11:31:16 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Header --> Id 
						
					 
				 
				1994-06-24 11:31:16 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Header --> Id 
						
					 
				 
				1994-06-24 11:31:16 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Replaced calls to the custom strindex() and strrindex() functions with the 
						
					 
				 
				2006-07-23 20:01:02 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Header --> Id 
						
					 
				 
				1994-06-24 11:31:16 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Header --> Id 
						
					 
				 
				1994-06-24 11:31:16 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Header --> Id 
						
					 
				 
				1994-06-24 11:31:16 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Header --> Id 
						
					 
				 
				1994-06-24 11:31:16 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Header --> Id 
						
					 
				 
				1994-06-24 11:31:16 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Header --> Id 
						
					 
				 
				1994-06-24 11:31:16 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Replaced calls to the custom strindex() and strrindex() functions with the 
						
					 
				 
				2006-07-23 20:01:02 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Now avoids piping shell scripts into a new instance of sh, instead 
						
					 
				 
				2006-07-26 12:29:47 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Added the appropriate #! magic at the beginning of shell scripts. (Some modern shells don't like scripts to be without it.) 
						
					 
				 
				2006-07-20 23:02:37 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Added the appropriate #! magic at the beginning of shell scripts. (Some modern shells don't like scripts to be without it.) 
						
					 
				 
				2006-07-20 23:02:37 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Header --> Id 
						
					 
				 
				1994-06-24 11:31:16 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Added the appropriate #! magic at the beginning of shell scripts. (Some modern shells don't like scripts to be without it.) 
						
					 
				 
				2006-07-18 17:10:18 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Define NDEBUG if you don't want assertions 
						
					 
				 
				1993-10-22 14:30:43 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Updated to the version 0.1 of Prime Mover (which involves some syntax changes). 
						
					 
				 
				2006-10-15 00:28:12 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Header --> Id 
						
					 
				 
				1994-06-24 11:31:16 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Removed Version.c 
						
					 
				 
				1995-12-06 09:52:54 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Rationalised use of #includes to be more standards-compliant. 
						
					 
				 
				2006-07-18 17:10:29 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Header --> Id 
						
					 
				 
				1994-06-24 11:31:16 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Header --> Id 
						
					 
				 
				1994-06-24 11:31:16 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Header --> Id 
						
					 
				 
				1994-06-24 11:31:16 +00:00