Commit 00edff41 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

expand

parent a1af04fd
...@@ -409,7 +409,8 @@ module Helpers = struct ...@@ -409,7 +409,8 @@ module Helpers = struct
end end
let () = let () =
Theory.Mnm.iter (fun _ th -> Helpers.add_theory th) theories Theory.Mnm.iter (fun _ th -> Helpers.add_theory th) theories;
goals_view#expand_all ()
...@@ -587,7 +588,8 @@ let split_unproved_goals () = ...@@ -587,7 +588,8 @@ let split_unproved_goals () =
([],1) subgoals ([],1) subgoals
in in
tr.Model.subgoals <- List.rev goals; tr.Model.subgoals <- List.rev goals;
goals_view#expand_row (goals_model#get_path row) goals_view#expand_row (goals_model#get_path row);
goals_view#expand_row (goals_model#get_path split_row)
in in
Scheduler.apply_transformation ~callback Scheduler.apply_transformation ~callback
......
Supports Markdown
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