📄 推理机.rc
字号:
// Microsoft Visual C++ generated resource script.
//
#include "resource.h"
#define APSTUDIO_READONLY_SYMBOLS
/////////////////////////////////////////////////////////////////////////////
//
// Generated from the TEXTINCLUDE 2 resource.
//
#ifndef APSTUDIO_INVOKED
#include "targetver.h"
#endif
#include "afxres.h"
/////////////////////////////////////////////////////////////////////////////
#undef APSTUDIO_READONLY_SYMBOLS
/////////////////////////////////////////////////////////////////////////////
// Chinese (P.R.C.) resources
#if !defined(AFX_RESOURCE_DLL) || defined(AFX_TARG_CHS)
#ifdef _WIN32
LANGUAGE LANG_CHINESE, SUBLANG_CHINESE_SIMPLIFIED
#pragma code_page(936)
#endif //_WIN32
#ifdef APSTUDIO_INVOKED
/////////////////////////////////////////////////////////////////////////////
//
// TEXTINCLUDE
//
1 TEXTINCLUDE
BEGIN
"resource.h\0"
END
2 TEXTINCLUDE
BEGIN
"#ifndef APSTUDIO_INVOKED\r\n"
"#include ""targetver.h""\r\n"
"#endif\r\n"
"#include ""afxres.h""\r\n"
"\0"
END
3 TEXTINCLUDE
BEGIN
"#define _AFX_NO_SPLITTER_RESOURCES\r\n"
"#define _AFX_NO_OLE_RESOURCES\r\n"
"#define _AFX_NO_TRACKER_RESOURCES\r\n"
"#define _AFX_NO_PROPERTY_RESOURCES\r\n"
"\r\n"
"#if !defined(AFX_RESOURCE_DLL) || defined(AFX_TARG_CHS)\r\n"
"LANGUAGE 4, 2\r\n"
"#pragma code_page(936)\r\n"
"#include ""res\\My.rc2"" // 非 Microsoft Visual C++ 编辑的资源\r\n"
"#include ""l.CHS\\afxres.rc"" // 标准组件\r\n"
"#include ""l.CHS\\afxprint.rc"" // 打印/打印预览资源\r\n"
"#endif\r\n"
"\0"
END
#endif // APSTUDIO_INVOKED
/////////////////////////////////////////////////////////////////////////////
//
// Icon
//
// Icon with lowest ID value placed first to ensure application icon
// remains consistent on all systems.
IDR_MAINFRAME ICON "res\\tuili.ico"
/////////////////////////////////////////////////////////////////////////////
//
// Menu
//
IDR_MAINFRAME MENU
BEGIN
MENUITEM "输入公式(S)", ID_32771
MENUITEM SEPARATOR
MENUITEM "字体(F)", ID_32772
MENUITEM SEPARATOR
POPUP "帮助"
BEGIN
MENUITEM "关于 推理机", ID_APP_ABOUT
MENUITEM "使用指南", ID_32777
END
END
/////////////////////////////////////////////////////////////////////////////
//
// Accelerator
//
IDR_MAINFRAME ACCELERATORS
BEGIN
"C", ID_EDIT_COPY, VIRTKEY, CONTROL, NOINVERT
VK_INSERT, ID_EDIT_COPY, VIRTKEY, CONTROL, NOINVERT
VK_DELETE, ID_EDIT_CUT, VIRTKEY, SHIFT, NOINVERT
"X", ID_EDIT_CUT, VIRTKEY, CONTROL, NOINVERT
"V", ID_EDIT_PASTE, VIRTKEY, CONTROL, NOINVERT
VK_INSERT, ID_EDIT_PASTE, VIRTKEY, SHIFT, NOINVERT
VK_BACK, ID_EDIT_UNDO, VIRTKEY, ALT, NOINVERT
"Z", ID_EDIT_UNDO, VIRTKEY, CONTROL, NOINVERT
"N", ID_FILE_NEW, VIRTKEY, CONTROL, NOINVERT
"O", ID_FILE_OPEN, VIRTKEY, CONTROL, NOINVERT
"P", ID_FILE_PRINT, VIRTKEY, CONTROL, NOINVERT
"S", ID_32771, VIRTKEY, CONTROL, NOINVERT
VK_F6, ID_NEXT_PANE, VIRTKEY, NOINVERT
VK_F6, ID_PREV_PANE, VIRTKEY, SHIFT, NOINVERT
"F", ID_32772, VIRTKEY, CONTROL, NOINVERT
END
/////////////////////////////////////////////////////////////////////////////
//
// Dialog
//
IDD_ABOUTBOX DIALOGEX 0, 0, 236, 127
STYLE DS_SETFONT | DS_MODALFRAME | WS_POPUP | WS_CAPTION | WS_SYSMENU
CAPTION "关于 推理机"
FONT 12, "黑体", 400, 0, 0x86
BEGIN
ICON IDR_MAINFRAME,IDC_STATIC,14,14,16,16
LTEXT "推理机, Version 1.0",IDC_STATIC,42,14,114,8,SS_NOPREFIX
LTEXT "Copyright (C) 2007 by 笪庆 方超",IDC_STATIC,34,25,178,9
DEFPUSHBUTTON "确定",IDOK,179,106,50,14,WS_GROUP
LTEXT "感谢Russell在命题演算方面做出的杰出贡献！",IDC_STATIC,30,39,179,10
LTEXT "感谢H.Wang在数学机械化上的惊世之作！",IDC_STATIC,30,57,147,10
LTEXT "感谢宋公的精彩讲解！",IDC_STATIC,30,76,159,8
LTEXT "感谢姜远老师在数据结构方面的细心教导！",IDC_STATIC,30,95,159,8
END
IDD_DIALOG1 DIALOGEX 0, 0, 349, 124
STYLE DS_SETFONT | DS_MODALFRAME | WS_POPUP | WS_CAPTION | WS_SYSMENU
CAPTION "Dialog"
FONT 12, "新宋体", 400, 0, 0x86
BEGIN
DEFPUSHBUTTON "合取范式",IDOK,16,79,50,14
PUSHBUTTON "取消",IDCANCEL,283,79,50,14
LTEXT " 本系统的符号定义为 非: ! 且: * 或: + 蕴含: > 等价: =",IDC_STATIC,7,20,335,13,0,WS_EX_DLGMODALFRAME
EDITTEXT IDC_EDIT1,7,51,335,12,ES_AUTOHSCROLL
DEFPUSHBUTTON "析取范式",IDOK2,102,79,50,14
DEFPUSHBUTTON "推理证明",IDOK4,195,79,50,14
END
IDD_DIALOG2 DIALOGEX 0, 0, 182, 139
STYLE DS_SETFONT | DS_MODALFRAME | WS_POPUP | WS_CAPTION | WS_SYSMENU
CAPTION "使用指南"
FONT 12, "新宋体", 400, 0, 0x86
BEGIN
DEFPUSHBUTTON "确定",IDOK,115,118,50,14
LTEXT " 在这个程序中，主菜单项中只有输入公式、",IDC_STATIC,7,7,168,10
LTEXT "字体项，相应的快捷方式为ctrl+S，ctrl+F。",IDC_STATIC,7,19,168,10
LTEXT "首先需要按下“输入公式”输入一个命题演算公",IDC_STATIC,7,31,168,10
LTEXT "式，要求格式严格，即不考虑个联结词的优先级",IDC_STATIC,7,45,168,10
LTEXT "（输入若不合法程序会给出提示），然后按下相",IDC_STATIC,7,59,168,10
LTEXT "应按钮即可在屏幕得到结果，而且对话框具有记",IDC_STATIC,7,72,168,10
LTEXT "亿公式的功能，便于对同一公式做多种操作。而",IDC_STATIC,7,86,170,10
LTEXT "字体按钮可以让你轻松地更改输入字体，达到您",IDC_STATIC,7,98,170,10
LTEXT "要的显示效果。感谢使用！",IDC_STATIC,7,111,170,10
END
/////////////////////////////////////////////////////////////////////////////
//
// Version
//
VS_VERSION_INFO VERSIONINFO
FILEVERSION 1,0,0,1
PRODUCTVERSION 1,0,0,1
FILEFLAGSMASK 0x3fL
#ifdef _DEBUG
FILEFLAGS 0x1L
#else
FILEFLAGS 0x0L
#endif
FILEOS 0x4L
FILETYPE 0x1L
FILESUBTYPE 0x0L
BEGIN
BLOCK "StringFileInfo"
BEGIN
BLOCK "080403a8"
BEGIN
VALUE "CompanyName", "南京大学计算机科学与技术系"
VALUE "FileDescription", "命题演算公式的机器证明"
VALUE "FileVersion", "1.0.0.1"
VALUE "InternalName", "推理机.exe"
VALUE "LegalCopyright", "笪庆 方超"
VALUE "OriginalFilename", "推理机.exe"
VALUE "ProductName", "推理机"
VALUE "ProductVersion", "1.0.0.1"
END
END
BLOCK "VarFileInfo"
BEGIN
VALUE "Translation", 0x804, 936
END
END
/////////////////////////////////////////////////////////////////////////////
//
// DESIGNINFO
//
#ifdef APSTUDIO_INVOKED
GUIDELINES DESIGNINFO
BEGIN
IDD_ABOUTBOX, DIALOG
BEGIN
LEFTMARGIN, 7
RIGHTMARGIN, 229
VERTGUIDE, 30
TOPMARGIN, 7
BOTTOMMARGIN, 120
END
IDD_DIALOG1, DIALOG
BEGIN
LEFTMARGIN, 7
RIGHTMARGIN, 342
TOPMARGIN, 7
BOTTOMMARGIN, 117
HORZGUIDE, 1
HORZGUIDE, 79
END
IDD_DIALOG2, DIALOG
BEGIN
LEFTMARGIN, 7
RIGHTMARGIN, 175
TOPMARGIN, 7
BOTTOMMARGIN, 132
END
END
#endif // APSTUDIO_INVOKED
/////////////////////////////////////////////////////////////////////////////
//
// String Table
//
STRINGTABLE
BEGIN
IDP_OLE_INIT_FAILED "OLE 初始化失败。请确保 OLE 库是正确的版本。"
END
STRINGTABLE
BEGIN
IDR_MAINFRAME "推理机\n\n推理机\n\n\nMy.Document\n推理机.Document"
END
STRINGTABLE
BEGIN
AFX_IDS_APP_TITLE "推理机"
AFX_IDS_IDLEMESSAGE "就绪"
END
STRINGTABLE
BEGIN
ID_INDICATOR_EXT "EXT"
ID_INDICATOR_CAPS "CAP"
ID_INDICATOR_NUM "NUM"
ID_INDICATOR_SCRL "SCRL"
ID_INDICATOR_OVR "OVR"
ID_INDICATOR_REC "REC"
END
STRINGTABLE
BEGIN
ID_FILE_NEW "创建新文档\n新建"
ID_FILE_OPEN "打开现有文档\n打开"
ID_FILE_CLOSE "关闭活动文档\n关闭"
ID_FILE_SAVE "保存活动文档\n保存"
ID_FILE_SAVE_AS "用新名称保存活动文档\n另存为"
ID_FILE_PAGE_SETUP "更改打印选项\n页面设置"
ID_FILE_PRINT_SETUP "更改打印机选项和打印选项\n打印设置"
ID_FILE_PRINT "打印活动文档\n打印"
ID_FILE_PRINT_PREVIEW "显示整页\n打印预览"
END
STRINGTABLE
BEGIN
ID_APP_ABOUT "显示程序信息、版本号和版权\n关于"
ID_APP_EXIT "退出应用程序；提示保存文档\n退出"
END
STRINGTABLE
BEGIN
ID_FILE_MRU_FILE1 "打开此文档"
ID_FILE_MRU_FILE2 "打开此文档"
ID_FILE_MRU_FILE3 "打开此文档"
ID_FILE_MRU_FILE4 "打开此文档"
ID_FILE_MRU_FILE5 "打开此文档"
ID_FILE_MRU_FILE6 "打开此文档"
ID_FILE_MRU_FILE7 "打开此文档"
ID_FILE_MRU_FILE8 "打开此文档"
ID_FILE_MRU_FILE9 "打开此文档"
ID_FILE_MRU_FILE10 "打开此文档"
ID_FILE_MRU_FILE11 "打开此文档"
ID_FILE_MRU_FILE12 "打开此文档"
ID_FILE_MRU_FILE13 "打开此文档"
ID_FILE_MRU_FILE14 "打开此文档"
ID_FILE_MRU_FILE15 "打开此文档"
ID_FILE_MRU_FILE16 "打开此文档"
END
STRINGTABLE
BEGIN
ID_NEXT_PANE "切换到下一个窗格\n下一窗格"
ID_PREV_PANE "切换回上一个窗格\n上一窗格"
END
STRINGTABLE
BEGIN
ID_WINDOW_SPLIT "将活动窗口拆分为多个窗格\n拆分"
END
STRINGTABLE
BEGIN
ID_EDIT_CLEAR "清除选定内容\n清除"
ID_EDIT_CLEAR_ALL "清除全部内容\n全部清除"
ID_EDIT_COPY "复制选定内容并将其放到剪贴板上\n复制"
ID_EDIT_CUT "剪切选定内容并将其放到剪贴板上\n剪切"
ID_EDIT_FIND "查找指定的文本\n查找"
ID_EDIT_PASTE "插入剪贴板内容\n粘贴"
ID_EDIT_REPEAT "重复上一操作\n重复"
ID_EDIT_REPLACE "用其他文本替换特定的文本\n替换"
ID_EDIT_SELECT_ALL "选定整个文档\n全选"
ID_EDIT_UNDO "撤消上一操作\n撤消"
ID_EDIT_REDO "恢复上次撤消的操作\n重做"
END
STRINGTABLE
BEGIN
ID_VIEW_STATUS_BAR "显示或隐藏状态栏\n切换状态栏"
END
STRINGTABLE
BEGIN
AFX_IDS_SCSIZE "更改窗口大小"
AFX_IDS_SCMOVE "更改窗口位置"
AFX_IDS_SCMINIMIZE "将窗口缩小为图标"
AFX_IDS_SCMAXIMIZE "使窗口最大化显示"
AFX_IDS_SCNEXTWINDOW "切换到下一个文档窗口"
AFX_IDS_SCPREVWINDOW "切换到前一个文档窗口"
AFX_IDS_SCCLOSE "关闭活动窗口并提示保存文档"
END
STRINGTABLE
BEGIN
AFX_IDS_SCRESTORE "将窗口恢复到正常大小"
AFX_IDS_SCTASKLIST "激活任务列表"
END
STRINGTABLE
BEGIN
AFX_IDS_PREVIEW_CLOSE "关闭打印预览模式\n取消预览"
END
#endif // Chinese (P.R.C.) resources
/////////////////////////////////////////////////////////////////////////////
#ifndef APSTUDIO_INVOKED
/////////////////////////////////////////////////////////////////////////////
//
// Generated from the TEXTINCLUDE 3 resource.
//
#define _AFX_NO_SPLITTER_RESOURCES
#define _AFX_NO_OLE_RESOURCES
#define _AFX_NO_TRACKER_RESOURCES
#define _AFX_NO_PROPERTY_RESOURCES
#if !defined(AFX_RESOURCE_DLL) || defined(AFX_TARG_CHS)
LANGUAGE 4, 2
#pragma code_page(936)
#include "res\My.rc2" // 非 Microsoft Visual C++ 编辑的资源
#include "l.CHS\afxres.rc" // 标准组件
#include "l.CHS\afxprint.rc" // 打印/打印预览资源
#endif
/////////////////////////////////////////////////////////////////////////////
#endif // not APSTUDIO_INVOKED
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -