the Android app now can show Glosses from WordNet

This commit is contained in:
krasimir
2015-07-01 09:44:56 +00:00
parent 47dbfdb831
commit f716974e89
15 changed files with 65 additions and 159 deletions

View File

@@ -390,8 +390,7 @@ oper
pp : Str -> Str = \s -> "<"+s+">";
lin
MkDocument b i e = {s = i.s1 ++ b.s ++ i.s2 ++ i.s3 ++ e.s} ;
MkDocument b i e = {s = i.s1 ++ "<p style=\"font-size:20px\">"++b.s++"</p>" ++ i.s2 ++ i.s3 ++ e.s} ;
MkTag i = {s = i.t} ;
}