Class ProofScript.console

class console : title:string -> Tactical.feedback