Merge branch 'master'.

1 files changed, 13 insertions, 0 deletions

diff --git a/tactics/tacticals.ml b/tactics/tacticals.ml
index 27c1987a0..a1cd51047 100644
--- a/tactics/tacticals.ml
+++ b/tactics/tacticals.ml
@@ -337,6 +337,16 @@ module New = struct
           catch_failerror e <*> t2
         end
     end
+
+  let tclORELSE0L t1 t2 =
+    tclINDEPENDENTL begin
+      tclORELSE
+        t1
+        begin fun e ->
+          catch_failerror e <*> t2
+        end
+    end
+
   let tclORELSE t1 t2 =
     tclORELSE0 (tclPROGRESS t1) t2
 
@@ -388,6 +398,9 @@ module New = struct
 
   let tclTRY t =
     tclORELSE0 t (tclUNIT ())
+  
+  let tclTRYb t =
+    tclORELSE0L (t <*> tclUNIT true) (tclUNIT false)
 
   let tclIFTHENELSE t1 t2 t3 =
     tclINDEPENDENT begin