menu_reboot=Reboot
text_changed=Changed
menu_saveas=Save As...
text_lmntal_il=LMNtal Intermediate Code
text_please_reboot=Please restart LaViT for the changes to take effect.
text_install_slim=Install SLIM.
text_yes=Yes
text_included_slim=Use SLIM included in LaViT.
text_install_failed=Installation failed.
menu_find_replace=Find/Replace...
menu_close=Close
menu_lang=Language
menu_general_setting=General Setting
menu_cut=Cut
menu_version=Version
menu_item_filesystem=File System
text_end=END
menu_edit=Edit
button_clear=Clear
menu_redo=Redo
text_file=file
text_reverse=Reverse
menu_undo=Undo
menu_cygwin_path=Cygwin PATH
menu_file=File
menu_help=Help
button_stateviewer=StateViewer
button_kill=Kill
text_use_already_installed=Use already installed SLIM.
menu_group_view=View
menu_open=Open...
menu_exit=Exit
menu_setting=Setting
menu_item_run_slim=Run Intermediate Code (SLIM)
text_change=Change
menu_run=Run
button_unyo_2g=UNYO(2G)
text_no_file=no file
menu_paste=Paste
menu_jre_info=Java Runtime Info
text_cygwin_required=In Windows, Cygwin path is required (for example, C:\backslashcygwin.)
text_editing=Editing...
button_stateprofiler=StateProfiler
text_ltl2ba_not_found=LTL2BA is not found.
menu_recent=Recent Files
text_already_exists=$1 already exists. Do you want to overwrite it?
menu_run_il_java=Run Intermediate Code (LMNtal Java)
text_modified=$1 has been modified. Save the changes before close?
text_ok=OK
menu_closeall=Close All
button_lmntal_java=LMNtal(Java)
menu_webpage=LaViT Web Page
text_input_slim_path=Input SLIM path.
text_install_completed=Installation completed.
button_unyo_3g=UNYO(3G)
text_unyo_unavailable=New UNYO UNYO is unavailable now.
button_browse=Browse...
text_need_slim_path=LaViT need SLIM path.
menu_open_sv_file=Open StateViewer File
text_cancel=Cancel
menu_new=New
menu_recent_empty=(Empty)
menu_slim_path=SLIM PATH
menu_clear_recent=Clear
text_no=No
menu_copy=Copy
text_unavailable=(unavailable)
menu_save=Save
text_overwrite=overwrite
button_slim=SLIM
