From 295107103aaa86db8a31abb0e410123212648d45 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Wed, 22 Mar 2017 11:24:27 +0100
Subject: BigNums: remove files about BigN,BigZ,BigQ (now in an separate git
 repo)

 See now https://github.com/coq/bignums
 Int31 is still in the stdlib.
 Some proofs there has be adapted to avoid the need for BigNumPrelude.
---
 plugins/syntax/numbers_syntax_plugin.mlpack | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 plugins/syntax/numbers_syntax_plugin.mlpack

(limited to 'plugins/syntax/numbers_syntax_plugin.mlpack')

diff --git a/plugins/syntax/numbers_syntax_plugin.mlpack b/plugins/syntax/numbers_syntax_plugin.mlpack
deleted file mode 100644
index e48c00a0d0..0000000000
--- a/plugins/syntax/numbers_syntax_plugin.mlpack
+++ /dev/null
@@ -1 +0,0 @@
-Numbers_syntax
-- 
cgit v1.2.3