Daniel Shahaf
							
						 | 
						
							
							
							
							
							
								
							
							
								e13c86dfc2
								
							
						 | 
						
							
							
								
								command word: Avoid unknown-token highlighting whilst inputting the command word.
							
							
							
							
							
							
							
							Adds the 'command-being-input' highlight.
Builds on top of the 'command-word-separator-v1' branch from PR #243. 
							
						 | 
						
							2015-12-01 08:21:11 +00:00 | 
						
					
				
					
						
							
							
								 
								Daniel Shahaf
							
						 | 
						
							
							
							
							
							
								
							
							
								438a94496f
								
							
						 | 
						
							
							
								
								docs: Grammar fix.
							
							
							
							
							
						 | 
						
							2015-11-24 07:43:03 +00:00 | 
						
					
				
					
						
							
							
								 
								Daniel Shahaf
							
						 | 
						
							
							
							
							
							
								
							
							
								7ee350efcd
								
							
						 | 
						
							
							
								
								docs: Port new text to individual highlighters' documentation.
							
							
							
							
							
							
							
							The new text is from the preceding two commits, 22123ab622 + ded1c8789b.
Fixes a broken link. 
							
						 | 
						
							2015-11-24 07:39:44 +00:00 | 
						
					
				
					
						
							
							
								 
								Daniel Shahaf
							
						 | 
						
							
							
							
							
							
								
							
							
								ded1c8789b
								
							
						 | 
						
							
							
								
								docs: Clarify highlighters documentation.
							
							
							
							
							
						 | 
						
							2015-11-24 07:32:18 +00:00 | 
						
					
				
					
						
							
							
								 
								Matthew Martin
							
						 | 
						
							
							
							
							
							
								
							
							
								0ab450ae47
								
							
						 | 
						
							
							
								
								docs: Move docs into docs/
							
							
							
							
							
						 | 
						
							2015-11-24 00:09:21 -06:00 |