| 
									
										
										
										
											2007-09-25 04:37:45 -04:00
										 |  |  | #undef _WIN32_WINNT
 | 
					
						
							|  |  |  | #define _WIN32_WINNT 0x0501  // For AddVectoredExceptionHandler
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | #ifndef UNICODE
 | 
					
						
							|  |  |  | #define UNICODE
 | 
					
						
							|  |  |  | #endif
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2007-10-13 00:57:24 -04:00
										 |  |  | #include <windows.h>
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2007-09-20 18:09:08 -04:00
										 |  |  | typedef char F_SYMBOL; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | #define unbox_symbol_string unbox_char_string
 | 
					
						
							|  |  |  | #define from_symbol_string from_char_string
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-02-05 19:48:38 -05:00
										 |  |  | #define FACTOR_OS_STRING "winnt"
 | 
					
						
							| 
									
										
										
										
											2008-02-25 14:10:35 -05:00
										 |  |  | #define FACTOR_DLL L"factor.dll"
 | 
					
						
							|  |  |  | #define FACTOR_DLL_NAME "factor.dll"
 | 
					
						
							| 
									
										
										
										
											2007-09-25 04:37:45 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2007-09-27 16:10:37 -04:00
										 |  |  | void c_to_factor_toplevel(CELL quot); | 
					
						
							| 
									
										
										
										
											2007-10-13 00:57:24 -04:00
										 |  |  | long exception_handler(PEXCEPTION_POINTERS pe); | 
					
						
							| 
									
										
										
										
											2007-11-21 15:47:15 -05:00
										 |  |  | bool console_open; | 
					
						
							| 
									
										
										
										
											2007-11-21 15:27:25 -05:00
										 |  |  | void open_console(void); |