added DocumentationPol.gf

2022-08-09 11:23:36 +02:00
parent 4beacc0f64
commit 3bcb34559e
2 changed files with 181 additions and 1 deletions
@@ -4,5 +4,6 @@

 concrete LangPol of Lang = 
  GrammarPol,
-  LexiconPol 
+  LexiconPol, 
+  DocumentationPol --# notpresent
  ** { flags  startcat = Phr ; unlexer = text ; lexer = text; } ;