Searched refs:color (Results 1 - 8 of 8) sorted by relevance

/hets/utils/LiveCD/
H A Dcolorprint.py17 # Prints a message in a given color to the console.
19 # @param color Color string.
20 def printColor(info, color):
22 print "%s%s%s" % (color, info, black)
/hets/GMP/papers/conditional/
H A Dentcs.cls587 \color@begingroup
/hets/GMP/papers/heterogenous/
H A Dentcs.cls587 \color@begingroup
/hets/GMP/papers/optInWork/
H A Dentcs.cls587 \color@begingroup
/hets/GMP/papers/optimizing/
H A Dentcs.cls587 \color@begingroup
/hets/doc/
H A DUserGuide.tex8 \usepackage{color}
975 show that the view is well-formed (then its color turns into green).
H A DUserGuideCommonLogic.tex21 \usepackage{color}
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 57 milliseconds