ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								5c83e7dbb5
								
							
						 | 
						
							
							
								
								Header --> Id
							
							
							
							
							
						 | 
						
							1994-06-24 11:31:16 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								af0e9371e9
								
							
						 | 
						
							
							
								
								call abort() only when NDEBUG is not defined
							
							
							
							
							
						 | 
						
							1994-02-25 14:01:54 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									eck
								
							 
						 | 
						
							
							
							
							
								
							
							
								58355b7041
								
							
						 | 
						
							
							
								
								changed stackheight computation to top element size computation
							
							
							
							
							
						 | 
						
							1990-09-04 16:42:43 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									eck
								
							 
						 | 
						
							
							
							
							
								
							
							
								379511e232
								
							
						 | 
						
							
							
								
								added stackheight computation
							
							
							
							
							
						 | 
						
							1990-07-18 14:33:07 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								929716a621
								
							
						 | 
						
							
							
								
								Improved label handling and handling of jumps to jumps
							
							
							
							
							
						 | 
						
							1989-02-06 14:39:08 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									ceriel
								
							 
						 | 
						
							
							
							
							
								
							
							
								6c812387fd
								
							
						 | 
						
							
							
								
								Added copyright notice
							
							
							
							
							
						 | 
						
							1987-03-10 01:42:07 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									sater
								
							 
						 | 
						
							
							
							
							
								
							
							
								b40016f6fd
								
							
						 | 
						
							
							
								
								added rcsid
							
							
							
							
							
						 | 
						
							1984-05-17 13:57:07 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									sater
								
							 
						 | 
						
							
							
							
							
								
							
							
								ac23d5c871
								
							
						 | 
						
							
							
								
								Initial revision
							
							
							
							
							
						 | 
						
							1984-05-17 13:42:36 +00:00 | 
						
						
							
							
							
								
							
							
						 |