GenEd 使用Common Lisp和CLIM编写的具有关于形式化推理的通用语义的编辑器，用于视觉表示法 关于 我拥有25年历史的Lisp归档文件中的另一个Common Lisp＆CLIM（通用Lisp接口管理器）旧版软件:-)在2021年仍然可以完美运行。在32位Motif端口Ubuntu上使用LispWorks 6.1和CLIM进行了测试。 该程序写于1996年，是在汉堡大学计算机科学系Bernd Neumann认知系统实验室的一部分。 这项工作由Volker Haarslev监督，他