Doug Coleman
							
						 | 
						
							
							
							
							
								
							
								b1e179106b
								
							
								
							
						 | 
						
							
							
								
								gap-buffer: fix using.
							
							
							
							
							
							
							
							I'm cooking something up for travisci for this... 
							
						 | 
						
							2018-07-04 18:05:40 -05:00 | 
						
					
				
					
						
							
							
								 
								Doug Coleman
							
						 | 
						
							
							
							
							
								
							
								9af298fd49
								
							
								
							
						 | 
						
							
							
								
								gap-buffer: resurrect! gap-buffer/cursortree still needs to be ported.
							
							
							
							
							
							
							
							removed in c1792d169e 
							
						 | 
						
							2018-07-04 16:10:39 -05:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								4bc54497fa
								
							
								
							
						 | 
						
							
							
								
								Move vocabularies which use delegation to unmaintained, and delete older unmaintained stuff
							
							
							
							
							
						 | 
						
							2008-08-27 16:23:35 -05:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								375020b7fe
								
							
								
							
						 | 
						
							
							
								
								Add push-at to core
							
							
							
							
							
						 | 
						
							2008-06-13 02:09:16 -05:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								1b9d2478e3
								
							
								
							
						 | 
						
							
							
								
								Bug fixes
							
							
							
							
							
						 | 
						
							2008-05-06 02:52:08 -05:00 | 
						
					
				
					
						
							
							
								 
								Doug Coleman
							
						 | 
						
							
							
							
							
								
							
								439c138aa5
								
							
								
							
						 | 
						
							
							
								
								fix load errors
							
							
							
							
							
						 | 
						
							2008-04-26 11:03:41 -05:00 | 
						
					
				
					
						
							
							
								 
								Doug Coleman
							
						 | 
						
							
							
							
							
								
							
								72080fda4a
								
							
								
							
						 | 
						
							
							
								
								construct-boa -> boa
							
							
							
							
							
							
							
							construct-empty -> new 
							
						 | 
						
							2008-04-13 15:06:27 -05:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								f7df948b06
								
							
								
							
						 | 
						
							
							
								
								Documentation updates
							
							
							
							
							
						 | 
						
							2008-04-13 09:34:27 -05:00 | 
						
					
				
					
						
							
							
								 
								Alex Chapman
							
						 | 
						
							
							
							
							
								
							
								2f505f85d1
								
							
								
							
						 | 
						
							
							
								
								fixed gap-buffer and cursortree
							
							
							
							
							
						 | 
						
							2008-03-12 13:35:48 +11:00 | 
						
					
				
					
						
							
							
								 
								Alex Chapman
							
						 | 
						
							
							
							
							
								
							
								f8aeb280e7
								
							
								
							
						 | 
						
							
							
								
								adding a couple of authors.txts to gap-buffer
							
							
							
							
							
						 | 
						
							2008-01-26 01:21:56 +11:00 | 
						
					
				
					
						
							
							
								 
								Alex Chapman
							
						 | 
						
							
							
							
							
								
							
								9301d62795
								
							
								
							
						 | 
						
							
							
								
								some fixes to gap-buffer
							
							
							
							
							
						 | 
						
							2008-01-26 01:21:04 +11:00 | 
						
					
				
					
						
							
							
								 
								Eduardo Cavazos
							
						 | 
						
							
							
							
							
								
							
								af8ec16cf5
								
							
								
							
						 | 
						
							
							
								
								Move trees and gap-buffer to unmaintained for now.
							
							
							
							
							
						 | 
						
							2007-09-29 13:46:32 -05:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								a96457cecc
								
							
								
							
						 | 
						
							
							
								
								Initial import
							
							
							
							
							
						 | 
						
							2007-09-20 18:09:08 -04:00 |