change in the Documentation module to accomodate topics visualization

This commit is contained in:
krasimir
2015-11-29 08:01:07 +00:00
parent 59ae8b0aaa
commit 07b381ee63
16 changed files with 48 additions and 48 deletions

View File

@@ -30,9 +30,9 @@ fun
InflectionPrep : Prep -> Inflection ;
fun
NoDefinition : Definition ;
MkDefinition : String -> Definition ;
MkDefinitionEx : String -> String -> Definition ;
NoDefinition : String -> Definition ;
MkDefinition : String -> String -> Definition ;
MkDefinitionEx : String -> String -> String -> Definition ;
fun
MkDocument : Definition -> Inflection -> String -> Document ;