| 
					
						
							
								
								
								
									
									
									
										backend
									
								
							
						
					
				 | 
				
					
						
							
							formatting
						
					
				 | 
				2011-10-17 21:23:36 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										buffers
									
								
							
						
					
				 | 
				
					
						
							
							formatting
						
					
				 | 
				2011-10-17 21:23:36 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										crlf
									
								
							
						
					
				 | 
				
					
						
							
							io.crlf: add a word that reads an optional CR.
						
					
				 | 
				2011-10-12 12:36:54 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										directories
									
								
							
						
					
				 | 
				
					
						
							
							Add throw-win32-error, use it in (delete-file)
						
					
				 | 
				2011-10-19 02:51:36 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										encodings
									
								
							
						
					
				 | 
				
					
						
							
							io.encodings.string: faster decode and encode
						
					
				 | 
				2011-10-17 21:23:02 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										files
									
								
							
						
					
				 | 
				
					
						
							
							Don't use exception handling for handle>file-size
						
					
				 | 
				2011-10-19 10:15:09 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										pipes
									
								
							
						
					
				 | 
				
					
						
							
							specialized-arrays: performed some cleanup.
						
					
				 | 
				2011-09-26 11:37:51 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										ports
									
								
							
						
					
				 | 
				
					
						
							
							io: input-stream and output-stream mixins
						
					
				 | 
				2011-10-18 16:25:09 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										servers
									
								
							
						
					
				 | 
				
					
						
							
							io.servers: fix a couple of typos in docs
						
					
				 | 
				2011-01-14 19:47:52 +09:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										sockets
									
								
							
						
					
				 | 
				
					
						
							
							Remove unused words.  Fixes #132.
						
					
				 | 
				2011-10-19 11:01:16 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										styles
									
								
							
						
					
				 | 
				
					
						
							
							io: input-stream and output-stream mixins
						
					
				 | 
				2011-10-18 16:25:09 -07:00 |