Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								9dd5c9919f
								
							
								
							
						 | 
						
							
							
								
								Mandatory stack effect annotations
							
							
							
							
							
						 | 
						
							2008-06-08 15:32:55 -05:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								7e978dd5c3
								
							
								
							
						 | 
						
							
							
								
								Multi-touch gestures
							
							
							
							
							
						 | 
						
							2008-04-11 22:33:01 -05:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								99665a749f
								
							
								
							
						 | 
						
							
							
								
								Update ui.tools for tools.vocabs
							
							
							
							
							
						 | 
						
							2008-03-13 03:52:04 -05:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								60cf395032
								
							
								
							
						 | 
						
							
							
								
								Fix keyboard shortcut
							
							
							
							
							
						 | 
						
							2008-03-11 03:37:45 -05:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								5352ea14ff
								
							
								
							
						 | 
						
							
							
								
								Fix another race...
							
							
							
							
							
						 | 
						
							2008-03-01 01:46:01 -06:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								27c9b31288
								
							
								
							
						 | 
						
							
							
								
								New benchmarks and UI improvements
							
							
							
							
							
						 | 
						
							2008-02-27 19:24:50 -06:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								a5503782d7
								
							
								
							
						 | 
						
							
							
								
								Fix hang when clicking presentations in the walker; improve traceback widget
							
							
							
							
							
						 | 
						
							2008-02-27 17:15:52 -06:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								b60dac99b9
								
							
								
							
						 | 
						
							
							
								
								New walker
							
							
							
							
							
						 | 
						
							2008-02-20 23:13:31 -06:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								6373e350ba
								
							
								
							
						 | 
						
							
							
								
								Removed test-changes word
							
							
							
							
							
						 | 
						
							2008-02-07 01:02:38 -06:00 | 
						
					
				
					
						
							
							
								 
								Doug Coleman
							
						 | 
						
							
							
							
							
								
							
								f26713182f
								
							
								
							
						 | 
						
							
							
								
								Change ui tabs to alt+12345
							
							
							
							
							
						 | 
						
							2007-12-09 10:29:46 -06:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								10db300895
								
							
								
							
						 | 
						
							
							
								
								Tweak UI shortcuts a bit to not clash with F8 being reserved for Spaces in Leopard
							
							
							
							
							
						 | 
						
							2007-11-24 16:58:31 -05:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								57893118e0
								
							
								
							
						 | 
						
							
							
								
								Clean up model-changed; no need for auxilliary tuples in editor and interactor
							
							
							
							
							
						 | 
						
							2007-11-16 03:01:45 -05:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								cef837184b
								
							
								
							
						 | 
						
							
							
								
								graft*/ungraft* refactoring
							
							
							
							
							
						 | 
						
							2007-11-16 01:19:13 -05:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								eee42d4bd5
								
							
								
							
						 | 
						
							
							
								
								More control refactoring
							
							
							
							
							
						 | 
						
							2007-11-14 16:35:17 -05:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								9bb0c40dc8
								
							
								
							
						 | 
						
							
							
								
								control gadget refactoring
							
							
							
							
							
						 | 
						
							2007-11-13 18:51:10 -05:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								58545d5756
								
							
								
							
						 | 
						
							
							
								
								Radio buttons and check boxes
							
							
							
							
							
						 | 
						
							2007-10-31 01:04:54 -04:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								deb1406f83
								
							
								
							
						 | 
						
							
							
								
								Clean up interpreter and walker
							
							
							
							
							
						 | 
						
							2007-10-04 18:45:19 -04:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								a96457cecc
								
							
								
							
						 | 
						
							
							
								
								Initial import
							
							
							
							
							
						 | 
						
							2007-09-20 18:09:08 -04:00 |