Commit 2a7f9f61 authored by Asma Tafat's avatar Asma Tafat
Browse files

Latex statistics

parent 9489cdca
......@@ -357,7 +357,6 @@ let rec goal_latex_stat n fmt prov depth depth_max column subgoal subgoals_max f
for i = 1 to depth do fprintf fmt "\\quad" done;
if (depth <= 1) then
fprintf fmt "\\verb|%s| " (M.goal_expl g);
printf "%s \n" (M.goal_expl g);
let proofs = M.external_proofs g in
if (Hashtbl.length proofs) > 0 then
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