Globular探り

とりあえず試行錯誤だ。

• 方向は、左から右（これはいい）、下から上（逆だーーー！）
• アタッチ操作は、「メインの図に、パレットのセルを」アタッチする。今の図にアタッチしたい部品をパレットから選んでクリックする。アタッチャブルかどうかは判定してくれる。
• Theoremコマンドが何するかワカラン。
• Sourceの後にTarget、またはTargetの後にSourceでただちにセルが作られる。
• Restrictもワカラン。