Changes for version 0.94

  • Changes contributed by Heiko Klein: Fix bug in which the same file is closed and then opened again. Updated VERSION variable to make it available programatically.