| 
					
						
							
								
								
								
									
									
									
										data
									
								
							
						
					
				 | 
				
					
						
							
							more test IN: cleanup.
						
					
				 | 
				2018-02-15 09:20:01 -08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										dtd
									
								
							
						
					
				 | 
				
					
						
							
							Adding escaping to CHAR: " -> CHAR: \"
						
					
				 | 
				2016-09-04 06:40:43 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										entities
									
								
							
						
					
				 | 
				
					
						
							
							more test IN: cleanup.
						
					
				 | 
				2018-02-15 09:20:01 -08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										errors
									
								
							
						
					
				 | 
				
					
						
							
							xml.errors: fix xml error.
						
					
				 | 
				2015-08-13 00:04:16 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										traversal
									
								
							
						
					
				 | 
				
					
						
							
							more test IN: cleanup.
						
					
				 | 
				2018-02-15 09:20:01 -08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										writer
									
								
							
						
					
				 | 
				
					
						
							
							*-docs: replace double spaces with single spaces
						
					
				 | 
				2017-06-05 13:16:07 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								tags.txt
							
						
					
				 | 
				
					
						
							
							basis/,core/,extra/: many new tags
						
					
				 | 
				2017-07-06 23:04:18 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								xml-docs.factor
							
						
					
				 | 
				
					
						
							
							xml: add some $quotation help.
						
					
				 | 
				2015-07-18 10:57:45 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								xml.factor
							
						
					
				 | 
				
					
						
							
							core/basis/extra: use none?.
						
					
				 | 
				2018-02-14 11:56:31 -08:00 |