Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								0bbe79d386
								
							
								
							
						 | 
						
							
							
								
								Search tables: do case folding automatically, better keyboard behavior
							
							
							
							
							
						 | 
						
							2009-02-17 08:24:11 -06:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								421ee726b8
								
							
								
							
						 | 
						
							
							
								
								Merge branch 'master' into new_ui
							
							
							
							
							
						 | 
						
							2009-02-16 21:22:12 -06:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								6b25e99470
								
							
								
							
						 | 
						
							
							
								
								Add summary for heaps more vocabs
							
							
							
							
							
						 | 
						
							2009-02-16 21:05:13 -06:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								2e454cb43b
								
							
								
							
						 | 
						
							
							
								
								models: Update documentation
							
							
							
							
							
						 | 
						
							2009-02-12 01:36:23 -06:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								7b8e7f8092
								
							
								
							
						 | 
						
							
							
								
								Use call( in a bunch of places in the UI; update-ui infers now
							
							
							
							
							
						 | 
						
							2009-02-09 00:49:48 -06:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								f9851b195a
								
							
								
							
						 | 
						
							
							
								
								Working on new profiler tool
							
							
							
							
							
						 | 
						
							2008-12-22 00:54:08 -06:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								feaac5ae43
								
							
								
							
						 | 
						
							
							
								
								Search models
							
							
							
							
							
						 | 
						
							2008-12-19 02:36:34 -06:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								766fccaecc
								
							
								
							
						 | 
						
							
							
								
								Compose model fires less unnecessary notifications
							
							
							
							
							
						 | 
						
							2008-12-18 23:56:16 -06:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								e5ed7447ed
								
							
								
							
						 | 
						
							
							
								
								Removing more >r/r> usages
							
							
							
							
							
						 | 
						
							2008-12-03 08:46:16 -06:00 | 
						
					
				
					
						
							
							
								 
								Eduardo Cavazos
							
						 | 
						
							
							
							
							
								
							
								8acd9c6814
								
							
								
							
						 | 
						
							
							
								
								models.range: Correct stack effect for '<range>'
							
							
							
							
							
						 | 
						
							2008-12-02 14:25:34 -06:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								9bf63b1613
								
							
								
							
						 | 
						
							
							
								
								New $quotation markup element
							
							
							
							
							
						 | 
						
							2008-11-16 09:03:30 -06:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								c19f2257f4
								
							
								
							
						 | 
						
							
							
								
								Fix permission bits
							
							
							
							
							
						 | 
						
							2008-10-02 08:34:49 -05:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								b1d82c6c74
								
							
								
							
						 | 
						
							
							
								
								More indentation fixes
							
							
							
							
							
						 | 
						
							2008-09-27 18:44:51 -05:00 | 
						
					
				
					
						
							
							
								 
								Doug Coleman
							
						 | 
						
							
							
							
							
								
							
								8a921c791c
								
							
								
							
						 | 
						
							
							
								
								if-empty changes
							
							
							
							
							
						 | 
						
							2008-09-06 19:13:59 -05:00 | 
						
					
				
					
						
							
							
								 
								Doug Coleman
							
						 | 
						
							
							
							
							
								
							
								33569bae19
								
							
								
							
						 | 
						
							
							
								
								new accessors
							
							
							
							
							
						 | 
						
							2008-09-02 01:53:43 -05:00 | 
						
					
				
					
						
							
							
								 
								Doug Coleman
							
						 | 
						
							
							
							
							
								
							
								52acaa47e7
								
							
								
							
						 | 
						
							
							
								
								new accessors
							
							
							
							
							
						 | 
						
							2008-09-01 22:47:07 -05:00 | 
						
					
				
					
						
							
							
								 
								Doug Coleman
							
						 | 
						
							
							
							
							
								
							
								12adca0b1d
								
							
								
							
						 | 
						
							
							
								
								fix docs
							
							
							
							
							
						 | 
						
							2008-08-31 10:09:35 -05:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								0c304b8fc6
								
							
								
							
						 | 
						
							
							
								
								Removing old accessor usages from core and basis
							
							
							
							
							
						 | 
						
							2008-08-31 07:45:33 -05:00 | 
						
					
				
					
						
							
							
								 
								Doug Coleman
							
						 | 
						
							
							
							
							
								
							
								c87d6be1a5
								
							
								
							
						 | 
						
							
							
								
								new accessors
							
							
							
							
							
						 | 
						
							2008-08-31 02:51:09 -05:00 | 
						
					
				
					
						
							
							
								 
								Doug Coleman
							
						 | 
						
							
							
							
							
								
							
								0f929ba85a
								
							
								
							
						 | 
						
							
							
								
								cleaner accessor
							
							
							
							
							
						 | 
						
							2008-08-29 16:50:31 -05:00 | 
						
					
				
					
						
							
							
								 
								Doug Coleman
							
						 | 
						
							
							
							
							
								
							
								fb27f066b1
								
							
								
							
						 | 
						
							
							
								
								new accessors
							
							
							
							
							
						 | 
						
							2008-08-29 16:03:37 -05:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								d66f887736
								
							
								
							
						 | 
						
							
							
								
								Create basis vocab root
							
							
							
							
							
						 | 
						
							2008-07-28 22:03:13 -05:00 |