sml-mode

0熱度

1回答

SML錯誤：Win32TextPrimIO：openRd：失敗

所以我有2個文件，file1.sml & file2.sml都有正確的代碼&我使用的是Windows。 當我運行emacs並執行時：使用「file1.sml」它運行良好，但是當我簡單地轉到選項卡File-> Close以關閉文件，然後將file2.sml拖入emacs並嘗試運行它以同樣的方式，它使這個錯誤： [使用失敗：IO：openIn失敗的 「file2.sml」，Win32TextPrimI

emacs sml sml-mode 2017-01-17

---

0熱度

1回答

run-sml在emacs中不起作用sml-mode

我想在Fedora上的emacs中使用sml-mode。我~/.emacs文件包含 (add-to-list 'load-path "/home/gbuday/prooftheory/sml-mode") (autoload 'sml-mode "sml-mode" "Major mode for editing SML." t) (autoload 'run-sml "sml-proc" "

emacs polyml sml-mode 2017-05-10

---