Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
export attribute;
authorwenzelm
Sat, 07 Jul 2007 12:16:20 +0200
changeset 23632 a7df2990f127
parent 23631 2a9e918653cc
child 23633 f25b1566f7b5
export attribute;
src/Pure/Tools/xml.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/xml.ML	Sat Jul 07 12:16:19 2007 +0200
+++ b/src/Pure/Tools/xml.ML	Sat Jul 07 12:16:20 2007 +0200
@@ -13,6 +13,7 @@
   val text_charref: string -> string
   val cdata: string -> string
   type attributes = (string * string) list
+  val attribute: string * string -> string
   val element: string -> attributes -> string list -> string
   (* tree functions *)
   datatype tree =
isabelle