TACTIC 3.8 is now available under the Eclipse Public License