]> matita.cs.unibo.it Git - helm.git/commitdiff
removed comments in proof presentation
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 31 Jul 2007 10:39:31 +0000 (10:39 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 31 Jul 2007 10:39:31 +0000 (10:39 +0000)
components/content_pres/content2pres.ml

index a99278dbcf137de171eff09cb3f5339fde9b8ab7..e25ff40d8ccb4ae51915bd0b0583774f8f7da24d 100644 (file)
@@ -181,7 +181,9 @@ and proof2pres ?skip_initial_lambdas is_top_down term2pres p =
            | _ -> p.Con.proof_context)
           presacontext
     in
+(*
 let body = B.V([],[B.b_kw ("(*<<" ^ p.Con.proof_conclude.Con.conclude_method ^ (if is_top_down then "(TD)" else "(NTD)") ^ "*)"); body; B.b_kw "(*>>*)"]) in
+*)
     match p.Con.proof_name with
       None -> body
     | Some name ->