Commit 030ec924 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Clarify context label.

parent 1fb76be3
......@@ -600,7 +600,7 @@ let tools_window_vbox =
with Gtk.Error _ -> assert false
let context_frame =
GBin.frame ~label:"Context"
GBin.frame ~label:"Apply provers to"
~packing:(tools_window_vbox#pack ~expand:false) ()
let context_box =
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment