From a2e44a2dbe77c5ce227ea7e12d2cfce903221254 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Fri, 20 Apr 2012 11:38:44 +0000
Subject: Cleaning up widget code and using a naming convention for such files.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15232 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/command_windows.mli | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100644 ide/command_windows.mli

(limited to 'ide/command_windows.mli')

diff --git a/ide/command_windows.mli b/ide/command_windows.mli
deleted file mode 100644
index c34b6cf67a..0000000000
--- a/ide/command_windows.mli
+++ /dev/null
@@ -1,16 +0,0 @@
-(************************************************************************)
-(*  v      *   The Coq Proof Assistant  /  The Coq Development Team     *)
-(* <O___,, *   INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2010     *)
-(*   \VV/  **************************************************************)
-(*    //   *      This file is distributed under the terms of the       *)
-(*         *       GNU Lesser General Public License Version 2.1        *)
-(************************************************************************)
-
-class command_window :
-  Coq.coqtop ref -> Preferences.pref ref ->
-  object
-    method new_command : ?command:string -> ?term:string -> unit -> unit
-    method frame : GBin.frame
-    method refresh_font : unit -> unit
-    method refresh_color : unit -> unit
-  end
-- 
cgit v1.2.3