--- a/src/Pure/ProofGeneral/pgml_isabelle.ML Wed Aug 27 23:46:33 2008 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,24 +0,0 @@
-(* Title: Pure/ProofGeneral/pgml_isabelle.ML
- ID: $Id$
- Author: David Aspinall
-
-PGML print mode for common Isabelle markup.
-*)
-
-signature PGML_ISABELLE =
-sig
- val pgml_mode: ('a -> 'b) -> 'a -> 'b
-end
-
-structure PgmlIsabelle : PGML_ISABELLE =
-struct
-
-(** print mode **)
-
-val pgmlN = "PGML";
-fun pgml_mode f x = PrintMode.with_modes [pgmlN] f x;
-
-val _ = Output.add_mode pgmlN Output.default_output Output.default_escape;
-val _ = Markup.add_mode pgmlN (fn markup as (name, _) => ("", ""));
-
-end;