2d0611ffc9f91c5fc2ddccb93f9a3d17791ae650takashi{- |

2d0611ffc9f91c5fc2ddccb93f9a3d17791ae650takashiModule : $Header$

dc0d8d65d35787d30a275895ccad8d8e1b58a5edndDescription : module for the hets version string

dc0d8d65d35787d30a275895ccad8d8e1b58a5edndCopyright : (c) Klaus L�ttich, Uni Bremen 2002-2005

dc0d8d65d35787d30a275895ccad8d8e1b58a5edndLicense : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt

dc0d8d65d35787d30a275895ccad8d8e1b58a5ednd

6ae232055d4d8a97267517c5e50074c2c819941andMaintainer : Christian.Maeder@dfki.de

dc0d8d65d35787d30a275895ccad8d8e1b58a5edndStability : provisional

6ae232055d4d8a97267517c5e50074c2c819941andPortability : portable

a78048ccbdb6256da15e6b0e7e95355e480c2301nd

a78048ccbdb6256da15e6b0e7e95355e480c2301ndVersion module of Hets

a78048ccbdb6256da15e6b0e7e95355e480c2301nd

a78048ccbdb6256da15e6b0e7e95355e480c2301nd >>>HEADER<<<

63f06dce77bb2d9b1c5aa5deeb47a1069987fd1end-}

63f06dce77bb2d9b1c5aa5deeb47a1069987fd1end

63f06dce77bb2d9b1c5aa5deeb47a1069987fd1endmodule Driver.Version where

63f06dce77bb2d9b1c5aa5deeb47a1069987fd1end

hetcats_version :: String

hetcats_version = >>>VERSION<<<