From 53374f189cc9b9b67ff94d5362fdffdba6c779a3 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 2 Aug 2017 01:42:14 +0200
Subject: Adding a few standard notations for Ltac1 tactics.

---
 _CoqProject | 1 +
 1 file changed, 1 insertion(+)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index b8064c46a4..583639612b 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -35,4 +35,5 @@ theories/Message.v
 theories/Constr.v
 theories/Pattern.v
 theories/Std.v
+theories/Notations.v
 theories/Ltac2.v
-- 
cgit v1.2.3