integrating arabic to document

This commit is contained in:
aarne
2006-06-26 11:31:05 +00:00
parent 65431fd262
commit b189de63ea
3 changed files with 8 additions and 7 deletions

View File

@@ -80,7 +80,7 @@ resource ParadigmsAra = open
--2 Adverbs
-- Adverbs are not inflected. Most lexical ones have position
-- after the verb. Some can be preverbal (e.g. "َلوَيس").
-- after the verb. Some can be preverbal.
mkAdv : Str -> Adv ;
mkAdV : Str -> AdV ;
@@ -178,12 +178,12 @@ resource ParadigmsAra = open
V0, V2S, V2V, V2A, V2Q : Type ;
AS, A2S, AV, A2V : Type ;
--.
--2 Definitions of paradigms
-- The definitions should not bother the user of the API. So they are
-- hidden from the document.
--.
regV = \word ->
case word of {