diff options
author | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-09-06 17:42:21 +0000 |
---|---|---|
committer | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-09-06 17:42:21 +0000 |
commit | cbe08fab7f8eabd8837102524ee11d81024fa443 (patch) | |
tree | 3ac60f99913f241b794d967a7edb952e6b964a2e /ide/wg_ScriptView.mli | |
parent | c4c42519921248400db730720ac3b3a1f3d58a79 (diff) |
Added a comment/uncomment command to CoqIDE
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15781 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/wg_ScriptView.mli')
-rw-r--r-- | ide/wg_ScriptView.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ide/wg_ScriptView.mli b/ide/wg_ScriptView.mli index 8dc951e7d..e94ce4904 100644 --- a/ide/wg_ScriptView.mli +++ b/ide/wg_ScriptView.mli @@ -22,6 +22,8 @@ object method set_right_margin_position : int -> unit method show_right_margin : bool method set_show_right_margin : bool -> unit + method comment : unit -> unit + method uncomment : unit -> unit end val script_view : Coq.coqtop -> |