functorized Documentation for Fin, Fre, Ger

2013-12-14 15:13:14 +00:00
parent ced38d5f9f
commit 8fcd920054
13 changed files with 494 additions and 405 deletions
@@ -0,0 +1,6 @@
+--# -path=.:../abstract:../common
+
+-- documentation of German in English
+
+concrete DocumentationGerEng of Documentation = CatGer ** 
+  DocumentationGerFunctor with (Terminology = TerminologyEng) ;