HERMIT.Plugin

The HERMIT Plugin

hermitPlugin

Running translations

query

run

Using the shell

interactive

display

setPretty

setPrettyOptions

Active modifiers

at

phase

after

before

until

allPhases

firstPhase

lastPhase

Knobs and Dials

getPhaseInfo

modifyCLS

Types

defPS

data HPM a

hpmToIO