2008-01-09 16:51:55 -05:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								USING: tools.deploy.config ;
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								H{
							 | 
						
					
						
							
								
									
										
										
										
											2008-03-20 22:11:53 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    { deploy-word-defs? f }
							 | 
						
					
						
							
								
									
										
										
										
											2008-03-14 18:39:57 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    { deploy-name "Sudoku" }
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    { deploy-threads? f }
							 | 
						
					
						
							
								
									
										
										
										
											2008-01-09 16:51:55 -05:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    { deploy-compiler? t }
							 | 
						
					
						
							
								
									
										
										
										
											2008-07-03 21:50:08 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    { deploy-math? t }
							 | 
						
					
						
							
								
									
										
										
										
											2008-03-20 22:11:53 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    { deploy-c-types? f }
							 | 
						
					
						
							
								
									
										
										
										
											2008-01-09 16:51:55 -05:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    { deploy-io 2 }
							 | 
						
					
						
							
								
									
										
										
										
											2008-03-20 22:11:53 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    { deploy-reflection 1 }
							 | 
						
					
						
							| 
								
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    { deploy-ui? f }
							 | 
						
					
						
							
								
									
										
										
										
											2008-01-09 16:51:55 -05:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								    { "stop-after-last-window?" t }
							 | 
						
					
						
							
								
									
										
										
										
											2008-03-20 22:11:53 -04:00
										 
									 
								 
							 | 
							
								
									
										
									
								
							 | 
							
								
							 | 
							
							
								    { deploy-word-props? f }
							 | 
						
					
						
							
								
									
										
										
										
											2008-01-09 16:51:55 -05:00
										 
									 
								 
							 | 
							
								
							 | 
							
								
							 | 
							
							
								}
							 |