Up
Class
ProofScript.console
class
console
:
title:string ->
Tactical.feedback