|  Philipp Brüschweiler | 230061783a | misc small documentation fixes, some fixes for factor.vim, changed permissions of vm/* to 644 | 2009-08-10 21:33:07 +02:00 | 
				
					
						|  Slava Pestov | fb80f21d75 | help.tutorial: minor tweaks | 2009-08-07 14:54:51 -05:00 | 
				
					
						|  Slava Pestov | 66a9416473 | Update documentation for stricter vocabulary search path semantics | 2009-05-16 00:29:21 -05:00 | 
				
					
						|  Slava Pestov | b2c3183b21 | Split up tools.vocabs. Note that load-everything is now named load-all | 2009-05-04 06:44:17 -05:00 | 
				
					
						|  Slava Pestov | 6c5fbd3197 | Documentation updates | 2009-04-13 20:38:30 -05:00 | 
				
					
						|  Philipp Winkler | b3080178c6 | Add a missing step to the tutorial. | 2009-03-23 12:39:03 -07:00 | 
				
					
						|  Slava Pestov | 58e55d4f45 | Working on documentation | 2009-02-19 16:54:27 -06:00 | 
				
					
						|  Slava Pestov | 5cd4f65e59 | Fix conflict | 2009-01-27 15:49:49 -06:00 | 
				
					
						|  Slava Pestov | 298fdecf32 | Fixing eval unit test, and help lint failures from stricter help lint | 2009-01-27 15:38:01 -06:00 | 
				
					
						|  Slava Pestov | 8b6ae748b9 | Merge branch 'master' into new_ui | 2009-01-27 06:34:19 -06:00 | 
				
					
						|  Slava Pestov | a9ef525aed | Help lint fixes for stricter help lint | 2009-01-27 04:12:37 -06:00 | 
				
					
						|  Slava Pestov | 670f2a3162 | Smart quotes | 2009-01-26 23:15:20 -06:00 | 
				
					
						|  Slava Pestov | 64899f8187 | Help lint fixes | 2009-01-16 14:54:31 -06:00 | 
				
					
						|  Slava Pestov | 9a33f1cf1c | Fixing bootstrap errors | 2009-01-07 15:21:51 -06:00 | 
				
					
						|  Slava Pestov | 87656b19e3 | FACTOR_ROOTS env var | 2008-12-01 17:19:47 -06:00 | 
				
					
						|  Slava Pestov | 1d630b6cf2 | Minor documentation fixes | 2008-11-11 10:51:15 -06:00 | 
				
					
						|  Slava Pestov | c19f2257f4 | Fix permission bits | 2008-10-02 08:34:49 -05:00 | 
				
					
						|  Slava Pestov | d66f887736 | Create basis vocab root | 2008-07-28 22:03:13 -05:00 |