| 
					
						
							
								
								
								
									
									
									
										models
									
								
							
						
					
				 | 
				
					
						
							
							Rename curry* to with
						
					
				 | 
				2008-01-09 17:36:30 -05:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										ui
									
								
							
						
					
				 | 
				
					
						
							
							Update vocabs for combinators.cleave
						
					
				 | 
				2007-11-14 17:36:45 -06:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								authors.txt
							
						
					
				 | 
				
					
						
							
							Add springies meta files
						
					
				 | 
				2007-12-05 19:36:00 -06:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								springies.factor
							
						
					
				 | 
				
					
						
							
							Update vocabs for combinators.cleave
						
					
				 | 
				2007-11-14 17:36:45 -06:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								summary.txt
							
						
					
				 | 
				
					
						
							
							Add springies meta files
						
					
				 | 
				2007-12-05 19:36:00 -06:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								tags.factor
							
						
					
				 | 
				
					
						
							
							Add springies meta files
						
					
				 | 
				2007-12-05 19:36:00 -06:00 |