% =====================%=圣杯2.0=% =====================%发行说明：%%24-10-00对CGN接口进行一些小改动%数据库更加流畅。%24-10-00向手动公理链接添加“提交”选项。通过按%<Shift-Button-1>而不是<Button-1>任何替代选项%公理链接被自动忽略。%24-10-00索引的字体大小也可以更改%在字体选项菜单中。%10-10-00预览类型可选。当前选项为“无”，%“dvi”、“ps”和“pdf”。重组菜单以反映这一点%更自然。%29-06-00 LaTeX错误消息现在通过管道发送到stdout，而不是%/dev/null/%为不可用字体添加了一些缺少的保护措施。%20-03-00为更紧凑的词法条目添加了选项。%31-01-00针对奇怪的working_directory/2行为使用了解决方法%在SICStus 3.8.1中%17-03-99在选项菜单中增加了对颜色选择的支持。%颜色和字体与其他选项一起保存。%09-03-99增加了对校样网中字体选择的支持%选项菜单中的重写窗口。康涅狄格州将%调整大小以匹配当前字体%02-03-99添加了显示线性优先信息的选项%重写窗口。要激活的已修改撤消菜单项%并自行停用。更改标签输出以生产%非填充圆。%11-11-98添加撤消功能以重写窗口。重写时%您可以撤消手动重写步骤。%22-09-98如果文件~/.grail_default_options存在，grail将%假设它包含用户的选项。用户可以保存%从“文件”菜单中选择此文件的当前选项。选项%也会保存菜单中不可用的内容。%21-09-98添加了额外的语义选项，用于在函数之间进行选择%（fy）x）和谓词f（x，y）表示法。%21-09-98增加了用户自定义首选项的初步可能性。%23-06-98术语标记化现在在存储之前融化语义术语%它们在词典中。%14-05-98更新术语和字符串标记化。新版本也%接受Prolog符号并尝试更正拼写错误。%13-05-98使急切的标签转换具有交互性。%13-05-98标签转换窗口现在只检查标签%如果最后一个动作是爬行或跳跃，则为normal/df。%这允许您在遇到后继续重写%正常或df标签。%12-05-98用户可以看到急切的标签转换。在这里%点，急切的标签转换不是交互式的。%12-05-98改进循环检测。%08-05-98增加了链接（估计）数量指标%为当前查找保留。%06-05-98在“leap”或%“不间断”模式。%27-04-98增加了交互式与自动运行模式的选项。%21-04-98将所有字符串标记化从Tcl移动到Prolog。%添加了special_string/2声明以允许用户定义%字符串有自己的词法条目。%15-04-98包括校对网和重写窗口。版本现在为%2.0测试版。%03-04-98删除Makefile。只有当选项为%更改或执行了新的分析。%01-04-98选择latex_output_format（无）时，计算%自然演绎的证明将被禁止。%13-03-98添加谓词，用于测试加载时的词汇完整性。%这将有助于您在公式中输入错误。%10-12-97使圣杯在没有tcltk或系统库的情况下可用。%17-11-97删除check_continuity/3中的错误。%13-11-97修改自然演绎例程以防止生成%自然演绎证明，其中最终规则是%不必要的结构规则。%13-11-97删除了大多数Prolog消息，因为对于普通用户来说%这些不是很有用。你可以重新打开这些%选择选项/序言消息/详细信息。%10-11-97在文件菜单中添加了“编译源代码”选项。这看起来%在目录GRAIL_EXTENSIONS_DIR中查找命名的.ql%或.pl文件（以较新的为准）。%21-10-97删除了惰性/透明声明之间的冲突。%当惰性构造函数出现在透明上下文中时，%透明度可能会迫使对此构造函数进行急切的评估。%14-10-97向选项数据库添加灰色。更正了几个%颜色不一致。%18-09-97纠正了输入一元/二元索引的错误。更多%新指标的一致处理。%04-09-97添加了对有限域上CLP的支持。请参见%          ./fragments/constr.pl示例。与的交互%不完全支持假设和分析窗口。%担心约束和闭集之间的相互作用。%29-08-97环境变量GRAIL_FRAGMENTS_DIR和GRAIL_TEXOUT_DIR%可以设置为覆盖%片段（./fragments）和LaTeX输出（.）%07-08-97 ESSLLI'97发布测试版