# HG changeset patch
# User wenzelm
# Date 1190131607 -7200
# Node ID c63f98b80bdda922c7990a74ec651daf5e2a07a9
# Parent  38db1187472464743f0f90b9481976df0a8cf962
removed dead/unmaintained code;

diff -r 38db11874724 -r c63f98b80bdd src/Pure/ProofGeneral/pgip_standalone.ML
--- a/src/Pure/ProofGeneral/pgip_standalone.ML	Tue Sep 18 18:05:37 2007 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,45 +0,0 @@
-(*  Title:      Pure/ProofGeneral/pgip_standalone.ML
-    ID:         $Id$
-    Author:     David Aspinall
-
-   This file allows a standalone build of the PGIP abstraction module.
-
-   This should be useful for building other tools, or as an aid to porting.
-
-   A lot of Isabelle library code is pulled in, but only a few
-   functions are actually used, and the libraries indicated "used
-   directly" below could be replaced with other implementations.
-*)
-
-(* The required parts of Isabelle libraries *)
-
-use "General/basics.ML";
-use "library.ML";
-use "General/alist.ML";
-use "General/markup.ML";
-use "General/position.ML";
-use "General/path.ML";     (* used directly *)
-use "General/table.ML";
-use "General/alist.ML";
-
-val print_mode = ref ([]: string list);
-fun print_mode_active s = member (op =) (! print_mode) s;
-
-use "General/output.ML";
-use "General/scan.ML";
-use "General/source.ML";
-use "General/file.ML";     (* used directly *)
-use "General/buffer.ML";
-use "General/symbol.ML";
-use "General/url.ML";      (* used directly *)
-use "Tools/xml.ML";        (* used directly *)
-
-
-(* Our code *)
-
-use "ProofGeneral/pgip_types.ML";
-use "ProofGeneral/pgml.ML";
-use "ProofGeneral/pgip_markup.ML";
-use "ProofGeneral/pgip_input.ML";
-use "ProofGeneral/pgip_output.ML";
-use "ProofGeneral/pgip.ML";