From b6feaafc7602917a8ef86fb8adc9651ff765e710 Mon Sep 17 00:00:00 2001
From: Matej Košík
Date: Mon, 29 May 2017 11:02:06 +0200
Subject: Remove (useless) aliases from the API.

---
 API/PROPERTIES | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 API/PROPERTIES

(limited to 'API/PROPERTIES')

diff --git a/API/PROPERTIES b/API/PROPERTIES
new file mode 100644
index 0000000000..cd942e2021
--- /dev/null
+++ b/API/PROPERTIES
@@ -0,0 +1,8 @@
+0 : All API elements, i.e.:
+    - modules
+    - module types
+    - functions & values
+    - types
+    are present if and only if are needed for implementing Coq plugins.
+
+1 : Individual API elements are not aliased.
-- 
cgit v1.2.3