저는 Linux Mint 17을 사용하고 있습니다. 최근에 apt-get를 사용하여 smlnj (Standard ML of New Jersey)와 sml-mode를 설치했습니다. 내가 Control.Print.PrintDepth := 100; 나는 다음과 같은 오류 얻을 명령을 사용하여 인쇄 깊이를 증가하려고 할 때 : 누구 아이디어가 있습니까 .. - C
Fedora에서 emacs에서 sml-mode를 사용하고 싶습니다. 내 ~/.emacs 파일은 해당 디렉토리가 자식-복제 SML-모드 파일을 포함 (add-to-list 'load-path "/home/gbuday/prooftheory/sml-mode")
(autoload 'sml-mode "sml-mode" "Major mode for editing S