MinGW32を入れ直し - 檜山正幸のキマイラ飼育記 メモ編 の事情で MinGW.OLD/ という名前で旧版を塩漬けして、MinGW/ は新版、とした。 旧MinGW 新MinGW 混合 gcc 4.6.2 4.9.3 5.1.0 bash 3.1.17 3.1.23 4.3.42 binutils 2.22 2.25.1 2.25 これに、シュルとし…

Isabelle/jEditを終了してもスマトラPDFは残るが、このスマトラPDFがいると、Isabelle/jEditは起動しないようだ。事情は謎。

クッソーッ、ハマったわ。MLファイルを単に開いてもOutputには何も出ない。以前は出ていたので、ホントにワケわかんないで、再インストールとか再起動とかは何度もしてしまった。たぶん2時間以上はかけている。 単にMLファイルをロードしただけではダメ。 開…

=>, ==>, と !! は同じようだ。%x. x は自動変換されないが、ファンシープリンティングで表示される。Isabelle/jEditマニュアルのp.19（表示はp.13）に記号の一覧表がある。TeXと同じようだから、次とかで調べる。 http://www002.upp.so-net.ne.jp/latex/kig…

中置記法の定義は、 opfun :: "opfunのプロファイル" (中置宣言) 中置宣言は、 infixl "演算子記号" 優先度 優先度は整数値だが、どのくらいかは分からん。50, 70, 80あたりをよく使う。