David Given
								
							 
						 | 
						
							
							
							
							
								
							
							
								f67c98e239
								
							
						 | 
						
							
							
								
								Distributions are a pain --- let's not bother any more. Instead, we just tag
							
							
							
							
							
							
							
							the repository and download a complete snapshot, old and ancient stuff and all. 
							
						 | 
						
							2016-09-02 23:00:38 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								fffa7617b1
								
							
						 | 
						
							
							
								
								m_a_i_n --> _m_a_i_n
							
							
							
							
							
						 | 
						
							1991-03-06 14:44:25 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								81f2477282
								
							
						 | 
						
							
							
								
								Adapted to our installation
							
							
							
							
							
						 | 
						
							1989-02-08 09:38:15 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								04e2dac8e7
								
							
						 | 
						
							
							
								
								replaced some BSS by CON; The order in memory is important!
							
							
							
							
							
							
							
							Adapted to our installation 
							
						 | 
						
							1989-02-08 09:23:46 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								ac3bf2cc95
								
							
						 | 
						
							
							
								
								Added pascal.ign
							
							
							
							
							
						 | 
						
							1988-10-07 10:59:23 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								1169f99c92
								
							
						 | 
						
							
							
								
								Added
							
							
							
							
							
						 | 
						
							1988-10-07 10:58:26 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								8e7e1320ac
								
							
						 | 
						
							
							
								
								Initial revision
							
							
							
							
							
						 | 
						
							1988-10-05 13:29:42 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								e1b871a6ea
								
							
						 | 
						
							
							
								
								Initial revision
							
							
							
							
							
						 | 
						
							1988-10-04 13:41:01 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								a66faf4100
								
							
						 | 
						
							
							
								
								Initial revision
							
							
							
							
							
						 | 
						
							1988-10-04 10:56:50 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								7bac6eb164
								
							
						 | 
						
							
							
								
								Initial revision
							
							
							
							
							
						 | 
						
							1988-10-04 10:46:47 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								23a7e7b427
								
							
						 | 
						
							
							
								
								Initial revision
							
							
							
							
							
						 | 
						
							1988-10-04 10:33:39 +00:00 | 
						
						
							
							
							
								
							
							
						 |