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=
WATCH_DUMP=false
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
editor.highlight=int unary uniq float ground string new num hlink
window.fileview.visible=true
window.fileview.divider=200
window.fileview.filter=lmn,il
LMNTAL_OPTION=
UNYO_OPTION=-O2
SHOW_LINE_DELIMITERS=false
SHOW_TABS=false
SLIM2=true
SLIM_EXE_PATH=
SLIM_OPTION=--use-builtin-rule
SLIM_LMNTAL_COMPILE_OPTION=--interpret --slimcode
SLIM_CONFIGURE_OPTION=
WINDOW_X=20
WINDOW_Y=20
WINDOW_WIDTH=800
WINDOW_HEIGHT=600
WINDOW_STATE=normal
window.divider_location=60
COLOR_TARGET=comment symbol reserved
COLOR_COMMENT=\#5AA77F
COLOR_SYMBOL=\#0000FF
COLOR_RESERVED=\#7F004B
SYSTEM_OUTPUT_FIND=true
SYSTEM_OUTPUT_MAXLINE=10000
SV3D=false
SV3D_X_SCALE=30
SV3D_Y_SCALE=30
SV3D_Z_SCALE=30
SV3D_DRAW_AXIS=false
SV3D_AUTO_RESET=true
SV_GRAPH_DRAW=BASIC
SV_OPTION=--hide-ruleset --show-transition --use-builtin-rule
SV_CONTROLLER=true
SV_ZOOMSLIDER=false
SV_INFO=true
SV_CROSSREDUCTION_DUMMYONLY=false
SV_SHOW_DUMMY=false
SV_SHOWID=false
SV_SHOWRULE=false
SV_SHOWNONAMERULE=false
SV_SHOWOUTTRANS=false
SV_HIDEBACKEDGE=false
SV_NOCURVE=false
SV_SIMPLE_MODE=auto
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
SV_STARTUP_SET_BACKDUMMY=true
SV_STARTUP_RESET_TYPE=node
SV_STARTUP_RESET_LIMIT=1000
SV_STARTUP_ABSTRACTION=false
SV_ANTIALIAS=false
LTL_OPTION=--hide-ruleset --show-transition
options.lmntal=-t -p1 -p2 -p3 -O1 -O2 -O3 -s1 -s2 -s3 --hideruleset --hiderule --slimcode --compileonly --type-verbose
options.unyo=-t -O1 -O2 -O3 -s1 -s2 -s3 --hideruleset --hiderule
options.lmntal_slim=--interpret --slimcode --hl-opt --optimize-slimoptimizer
options.slim=-t --nd --dump-lmn --dump-inc --mem-enc --delta-mem --show-proxy --hide-ruleset --show-transition --show-ends --hl --use-builtin-rule
options.stateviewer=--hide-ruleset --mem-enc --show-transition --use-builtin-rule
options.ltl=--hide-ruleset -t --dump-lavit --mem-enc --show-transition
updatecheck.enabled=true
updatecheck.url=http\://www.ueda.info.waseda.ac.jp/~shinobu/lavit/update
