您終於回來了

Time Machine 再次啟動，然後又準備不完，我就知道重新啟動到 Tiger 的確會讓 Time Machine 起疑。於是手工把 Tiger 的 /opt 全部搬到 Leopard 裡面，再把 /usr 裡面某處的 Agda-2.1.2/ 也搬過來，現在 Agda mode 看起來又恢復正常了。萬歲！XD

--
以後不要亂刪東西了 XD。On the other hand，現在有 Time Machine，好像又沒什麼關係 XD。