LANG=
WINDOWS_CYGWIN_DIR=
LookAndFeel=SystemDefault
DIR_NAME_SLIM=
DIR_NAME_UNYO=
DIR_NAME_LTL2BA=
FILE_NAME_LTL2BA_PACK=ltl2ba-1.1.tar.gz
REBOOT_MAX_MEMORY=
EDITER_FONT_SIZE=14
EDITER_FONT_FAMILY=\uFF2D\uFF33 \u30B4\u30B7\u30C3\u30AF
EDITER_FILE_READ_ENCODING=EUC_JP
EDITER_FILE_WRITE_ENCODING=EUC_JP
EDITER_FILE_LAST_CHOOSER_DIR=
EDITER_TAB_SIZE=2
LMNTAL_OPTION=
UNYO_OPTION=-O2
SLIM_EXE_PATH=
SLIM_OPTION=
SLIM_LMNTAL_COMPILE_OPTION=--interpret --slimcode
SLIM_CONFIGURE_OPTION=
WINDOW_X=20
WINDOW_Y=20
WINDOW_WIDTH=800
WINDOW_HEIGHT=600
WINDOW_EDITER_PERCENTAGE=50%
COLOR_TARGET=comment symbol reserved
COLOR_COMMENT=\#5AA77F
COLOR_SYMBOL=\#0000FF
COLOR_RESERVED=\#7F004B
SYSTEM_OUTPUT_FIND=true
SYSTEM_OUTPUT_MAXLINE=10000
SV_OPTION=--hideruleset
SV_MATCH=false
SV_FIND=false
SV_BUTTON=true
SV_ZOOMSLIDER=false
SV_INFO=true
SV_DUMMY=false
SV_DYNAMIC_CONTROL=false
SV_SHOW_DUMMY=false
SV_CROSSREDUCTION_DUMMYONLY=false
SV_SHOWRULE=false
SV_SHOWNONAMERULE=false
SV_HIDEBACKEDGE=false
SV_FILE_LAST_CHOOSER_DIR=
SV_DEPTH_LIMIT=unset
SV_DYNAMIC_MOVER=false
SV_DYNAMIC_SPRING=5
SV_DYNAMIC_NODE_REPULSION=10
SV_DYNAMIC_DUMMY_REPULSION=1
SV_DYNAMIC_INTERVAL=1
SV_DYNAMIC_MAXSPEED=2
LTL_OPTION=--hideruleset
