[hcoop/domtool2.git] / configDefault / autodoc.csg

signature AUTODOC_CONFIG = sig

val htmlHeader : string -> string
val htmlFooter : string
val stylesheet : string

end
Commit	Line	Data
3196000d AC	1	signature AUTODOC_CONFIG = sig
	2
	3	val htmlHeader : string -> string
	4	val htmlFooter : string
7d5aaf7b	5	val stylesheet : string
3196000d AC	6
3196000d AC	7	end