Hets - the Heterogeneous Tool Set

Copyright(c) Mihai Codescu DFKI GmbH 2010
LicenseGPLv2 or higher, see LICENSE.txt
Maintainermihai.codescu@dfki.de
Stabilityprovisional
Portabilitynon-portable (Logic)
Safe HaskellNone

GUI.ShowRefTree

Description

display the logic graph

Documentation