(** {2 Current proof} (if any) *)
- (** @return true if there is an ongoing proof, false otherise *)
- method onGoingProof: unit -> bool
-
- method proofMetasenv: Cic.metasenv (** @raise Statement_error *)
- method proofContext: Cic.context (** @raise Statement_error *)
- method proofConclusion: Cic.term (** @raise Statement_error *)
method stack: Continuationals.Stack.t (** @raise Statement_error *)
method setGoal: int option -> unit
val script:
source_view:GSourceView2.source_view ->
mathviewer: MatitaTypes.mathViewer->
- urichooser: (UriManager.uri list -> UriManager.uri list) ->
+ urichooser: (NReference.reference list -> NReference.reference list) ->
ask_confirmation:
(title:string -> message:string -> [`YES | `NO | `CANCEL]) ->
set_star: (bool -> unit) ->