forked from GitHub/gf-rgl
krasimir
17 lines
397 B
Plaintext
17 lines
397 B
Plaintext
--# -path=.:../abstract:../common
|
|
concrete DocumentationTha of Documentation = CatTha ** open
|
|
HTML in {
|
|
|
|
lincat
|
|
Inflection = {t : Str; s1,s2 : Str} ;
|
|
Definition = {s : Str} ;
|
|
Document = {s : Str} ;
|
|
Tag = {s : Str} ;
|
|
|
|
lin
|
|
NoDefinition t = {s=t.s};
|
|
MkDefinition t d = {s="<p>"++t.s++d.s++"</p>"};
|
|
MkDefinitionEx t d e = {s="<p>"++t.s++d.s++"</p><p>"++e.s++"</p>"};
|
|
|
|
}
|