Searched refs:green (Results 1 - 3 of 3) sorted by relevance

/hets/utils/LiveCD/
H A Dcolorprint.py11 green = "" variable
28 # Prints a startmessage (green).
31 printColor(info, green)
/hets/doc/
H A DUserGuide.tex242 ellipse is filled with green, the more stable is the implementation of the logic. Blue indicates a prover-supported logic.}
877 proved with this calculus are drawn in green. Local theorem links can
883 node is turned into green. This implementation ultimately is based
975 show that the view is well-formed (then its color turns into green).
1179 proof goals, that is, they become green, and instead, some target nodes
1604 all goals have been proved, the selected node turns from red into green.
H A DUserGuideCommonLogic.tex744 proved with this calculus are drawn in green by {\Hets}. Local theorem links can
750 node is turned into green. This implementation ultimately is based
1225 all goals have been proved, the selected node turns from red into green.

Completed in 2127 milliseconds