| 姓名 | 违约 | 描述
|
|---|
| 颜色 |
|---|
| -光标色名 | 黄色的 | 用于在编辑窗口中高亮显示所选项的颜色。 |
| -元彩色色名 | 蓝色3 | 用于占位符的颜色。 |
| -关键字颜色色名 | #802000 | 关键字和其他内置语法的颜色。 |
| -纸张色名 | 灰色90 | 显示文本的大多数区域的背景色。
|
| 字体 |
|---|
| -方氏家族家庭 | 新世纪教科书 | 用于用户标识符的字体 |
| -瓦斯特莱特倾斜 | 我
| 变量以斜体显示，但您可能更喜欢在罗马（使用第页). |
| -熟食家庭家庭 | 方氏家族
| 用于关键字和分隔符的字体。 |
| -字体大小大小 | 三 | 编辑窗口中使用的字体大小。0=微小，3=中等，6=巨大。 |
| -注释字体字体 | 罗马，中等重量基于方氏家族和字体大小 | 用于注释的字体。
|
| 菜单和交互选项 |
|---|
| -自动摘要[yes|no] | 不 | 设置的初始值自动摘要选项在中选项菜单. |
| -只有罚款[是|否] | 不 | 设置的初始值仅根据上下文进行细化菜单模式选项在中选项菜单. |
| -快速菜单[是|否] | 不 | 使菜单窗口更快但更难看。 |
| -非类型菜单[是|否] | 不 | 使菜单全部显示范围中的标识符，而不仅仅是那些可以用于优化当前目标。 |
| -simplerefine[是|否] | 不 | 设置的初始值简单优化（Simple Refine）中的选项选项菜单。此选项可实现更简单的细化策略（仅完全替代饱和应用）。 |
| -完成[是|否] | 不 | 将输入模式选项的初始值设置为完工在中选项菜单.
|
| -撤消历史记录（_H）长度 | 10 | 要在撤消缓冲区中保存多少命令
|
| 插件选项 |
|---|
| -插件[是|否] | 不 | 启用（或禁用）所有插件模块 |
| -插件第页1:...:第页n个
| 不 | 启用特定插件模块。该参数是一个以冒号分隔的插件名称列表。目前已知的插件名称：GF、AGF和Dummy。 |
| -兰斯我1:...:我n个
| 全部的
| 将GF插件使用的活动语言限制在给定列表中。 |
| -GF[是|否] | 不 | 设置使用AGF（sic）插件时的一些适当选项。（目前与-autoabstract yes-onlyrefine yes相同。）
|
| 其余的 |
|---|
| -诺雷克[是|否] | 不 | 禁用递归。 |
| -量词点[是|否] | 不 | 激活可选量词表示法。请参阅历史记录条目990503. |
| -utf8[是|否] | 不 | 激活Unicode支持。文件以UTF-8编码保存Unicode编码。使用命令启动alfa时启用此选项乌尔法，也可以切换到支持的字体用于比默认字体更多的Unicode字符。 |
| -跟踪[是|否] | 不 | 在stderr上启用一些额外的诊断消息，主要用于调试Alfa。
|
