#
#   user_defaults: 
#
#   format: < argument, value >   (white space is ignored )

< language,	         	 USEnglish >
< principlesFileName,            principles11.pl >
< parserFileName,                j5parser.pl >

< generalFontFamily,             Helvetica >
< generalFontSize,               14 >
< generalFontSlant,              Roman >
< generalFontWeight,             Medium >
< generalFontWidth,              Normal >

< generalTextWrap,               ON >
< generalShowPrologWarnings,     OFF >

< treeFontFamily,                Helvetica >
< treeFontSize,                  14 >
< treeFontSlant,                 Roman >
< treeFontWeight,                Medium >
< treeFontWidth,                 Normal >
< treeColor,                     Black >
< treeTypeChoice,                PrintSSTrees >
< treeLeftMargin,                10 >

< exampleFontFamily,             Helvetica >
< exampleFontSize,               14 >
< exampleFontSlant,              Roman >
< exampleFontWeight,             Medium >
< exampleFontWidth,              Normal >

< tracingUpdatePref,             QUIET >
< tracingFlashLength,            0 >
< tracingPrintTreeStructures,    On >
< tracingFilterBacktrack,        ON >

< printingOrientation,           PORTRAIT >
< printingScale,                 0.4 >
< printingLeftMargin,            30 >
< printingTopMargin,             50 >
< printingBottomMargin,          50 >	

< auxScreen,                     0 >

# DEMO SETTINGS 

< batchFilePath,                 Japanese.dbf >
# < batchFilePath,                 German.dbf >
# < batchFilePath,                 Dutch.dbf >
# < batchFilePath,                 Dutch.dbf >
# < batchFilePath,                 English.dbf >

< demoPrinciplesFileName,        principles11.pl >
< demoParserFileName,            i5parser.pl >
< demoTimeFactor,                1 >
< demoTimeInterval,              30000 >
< demoOLWMCheck,                 OFF >







