src/Pure/ProofGeneral/pgml_isabelle.ML
author wenzelm
Fri Jun 13 21:04:42 2008 +0200 (2008-06-13)
changeset 27195 bbf4cbc69243
parent 25273 189db9ef803f
permissions -rw-r--r--
map_const: soft version, no failure here;
     1 (*  Title:      Pure/ProofGeneral/pgml_isabelle.ML
     2     ID:         $Id$
     3     Author:     David Aspinall
     4 
     5 PGML print mode for common Isabelle markup.
     6 *)
     7 
     8 signature PGML_ISABELLE =
     9 sig
    10   val pgml_mode: ('a -> 'b) -> 'a -> 'b
    11 end
    12 
    13 structure PgmlIsabelle : PGML_ISABELLE =
    14 struct
    15 
    16 (** print mode **)
    17 
    18 val pgmlN = "PGML";
    19 fun pgml_mode f x = PrintMode.with_modes [pgmlN] f x;
    20 
    21 val _ = Output.add_mode pgmlN Output.default_output Output.default_escape;
    22 val _ = Markup.add_mode pgmlN (fn markup as (name, _) => ("", ""));
    23 
    24 end;