Alexander Iljin
							
						 | 
						
							
							
							
							
								
							
								0637557cca
								
							
								
							
						 | 
						
							
							
								
								*-docs: remove extra space character at the end of paragraghs
							
							
							
							
							
						 | 
						
							2018-08-21 10:45:52 -07:00 | 
						
					
				
					
						
							
							
								 
								John Benediktsson
							
						 | 
						
							
							
							
							
								
							
								2984496e04
								
							
								
							
						 | 
						
							
							
								
								Revert "prettyprint: remove { soft hard } line-break types (only ever used hard), cleanup."
							
							
							
							
							
							
							
							This reverts commit cf0cec0ecd. 
							
						 | 
						
							2015-07-17 23:02:54 -07:00 | 
						
					
				
					
						
							
							
								 
								John Benediktsson
							
						 | 
						
							
							
							
							
								
							
								cf0cec0ecd
								
							
								
							
						 | 
						
							
							
								
								prettyprint: remove { soft hard } line-break types (only ever used hard), cleanup.
							
							
							
							
							
						 | 
						
							2015-07-17 16:05:38 -07:00 | 
						
					
				
					
						
							
							
								 
								John Benediktsson
							
						 | 
						
							
							
							
							
								
							
								a563f92b27
								
							
								
							
						 | 
						
							
							
								
								prettyprint: a bit more cleanup.
							
							
							
							
							
						 | 
						
							2014-12-11 08:02:45 -08:00 | 
						
					
				
					
						
							
							
								 
								John Benediktsson
							
						 | 
						
							
							
							
							
								
							
								57f9d78892
								
							
								
							
						 | 
						
							
							
								
								improve help by linking to types directly.
							
							
							
							
							
						 | 
						
							2014-05-23 20:20:15 -07:00 | 
						
					
				
					
						
							
							
								 
								John Benediktsson
							
						 | 
						
							
							
							
							
								
							
								98935b7f15
								
							
								
							
						 | 
						
							
							
								
								docs: change ``{ $quotation "( x -- y )" }`` to ``{ $quotation ( x -- y ) }``.
							
							
							
							
							
						 | 
						
							2014-05-18 20:09:10 -07:00 | 
						
					
				
					
						
							
							
								 
								Keita Haga
							
						 | 
						
							
							
							
							
								
							
								7b5c3279c1
								
							
								
							
						 | 
						
							
							
								
								prettyprint.sections: fix typo in docs
							
							
							
							
							
						 | 
						
							2011-01-17 04:23:17 +09:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								5494f61df9
								
							
								
							
						 | 
						
							
							
								
								Auto-use now prints out USING: forms again
							
							
							
							
							
						 | 
						
							2009-05-16 02:32:55 -05:00 | 
						
					
				
					
						
							
							
								 
								Slava Pestov
							
						 | 
						
							
							
							
							
								
							
								abab72f80c
								
							
								
							
						 | 
						
							
							
								
								Move 'see' to its own vocabulary, and fix excess newlines after panes change
							
							
							
							
							
						 | 
						
							2009-03-11 07:18:24 -05: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
							
						 | 
						
							
							
							
							
								
							
								d66f887736
								
							
								
							
						 | 
						
							
							
								
								Create basis vocab root
							
							
							
							
							
						 | 
						
							2008-07-28 22:03:13 -05:00 |