Avernum5が1.0.1にバージョンアップしている。 いくつかの細かいバグフィックスと、タイポなどの修正ががなされている模様。 Leopardとの相性の問題が解決しているかについては、公式サイトを読んだが今イチはっきりしない。12/02追記：公式フォーラムに、1.…