From 68863acca9abf4490c651df889721ef7f6a4d375 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sat, 17 Oct 2015 15:32:03 +0200
Subject: Dedicated file for universe unification context manipulation.

This allows to remove a lot of independent code from Evd which was put
into the UState module. The API is not perfect yet, but this is a first
pass. Names of data structures should be thought about too because they
are way too similar.
---
 engine/engine.mllib | 1 +
 1 file changed, 1 insertion(+)

(limited to 'engine/engine.mllib')

diff --git a/engine/engine.mllib b/engine/engine.mllib
index dc7ff2a642..befeaa1476 100644
--- a/engine/engine.mllib
+++ b/engine/engine.mllib
@@ -1,5 +1,6 @@
 Logic_monad
 Termops
 Namegen
+UState
 Evd
 Proofview_monad
-- 
cgit v1.2.3


From 7cfb1c359faf13cd55bd92cba21fb00ca8d2d0d2 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sat, 26 Sep 2015 19:08:11 +0200
Subject: Adding a notion of monotonous evarmap.

---
 engine/engine.mllib | 1 +
 1 file changed, 1 insertion(+)

(limited to 'engine/engine.mllib')

diff --git a/engine/engine.mllib b/engine/engine.mllib
index befeaa1476..7197a25838 100644
--- a/engine/engine.mllib
+++ b/engine/engine.mllib
@@ -3,4 +3,5 @@ Termops
 Namegen
 UState
 Evd
+Sigma
 Proofview_monad
-- 
cgit v1.2.3


From 528bc26b7a6ee63bb35fc8ada56b021da65f9834 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 20 Mar 2016 21:06:04 +0100
Subject: Moving Evarutil and Proofview to engine/

---
 engine/engine.mllib | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'engine/engine.mllib')

diff --git a/engine/engine.mllib b/engine/engine.mllib
index 7197a25838..70b74edca3 100644
--- a/engine/engine.mllib
+++ b/engine/engine.mllib
@@ -5,3 +5,5 @@ UState
 Evd
 Sigma
 Proofview_monad
+Evarutil
+Proofview
-- 
cgit v1.2.3