{- |
Description :  RESTful interface
Copyright   :  (c) Otto-von-Guericke University of Magdeburg
License     :  GPLv2 or higher, see LICENSE.txt

The "PGIP" folder contains a RESTful server interface for Hets.
The name "PGIP" has been chosen for historic reasons (cf. the proof general interface for theorem provers).

-}

module PGIP where