Hets - the Heterogeneous Tool Set

Copyright(c) Rainer Grabbe 2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityneeds POSIX
Safe HaskellNone

GUI.HTkProofDetails

Description

Additional window used by ProofManagement for displaying proof details.

Synopsis

Documentation

doShowProofDetails :: ProofState -> IO ()

Called whenever the button Show proof details is clicked.