From 12def92b4cecdbe2fc8242bc451f4ee0d86c0eb8 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Thu, 23 Aug 2012 12:52:51 +0000
Subject: No more states/initial.coq, instead coqtop now requires Prelude.vo

 For starting a bare coqtop, the recommended option is now "-noinit"
 that skips the load of Prelude.vo. Option "-nois" is kept for
 compatibility, it is now an alias to "-noinit".

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15753 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 states/MakeInitial.v | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 states/MakeInitial.v

(limited to 'states')

diff --git a/states/MakeInitial.v b/states/MakeInitial.v
deleted file mode 100644
index 109e0c3050..0000000000
--- a/states/MakeInitial.v
+++ /dev/null
@@ -1,9 +0,0 @@
-(************************************************************************)
-(*  v      *   The Coq Proof Assistant  /  The Coq Development Team     *)
-(* <O___,, *   INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012     *)
-(*   \VV/  **************************************************************)
-(*    //   *      This file is distributed under the terms of the       *)
-(*         *       GNU Lesser General Public License Version 2.1        *)
-(************************************************************************)
-Require Export Prelude.
-Require Export Logic_Type.
-- 
cgit v1.2.3