diff --git a/lib/resource-1.0/doc/index.html b/lib/resource-1.0/doc/index.html
index 8a6c09928..a5ff755f8 100644
--- a/lib/resource-1.0/doc/index.html
+++ b/lib/resource-1.0/doc/index.html
@@ -7,7 +7,7 @@
 <P ALIGN="center"><CENTER><H1>GF Resource Grammar Library v. 1.2</H1>
 <FONT SIZE="4">
 <I>Author: Aarne Ranta &lt;aarne (at) cs.chalmers.se&gt;</I><BR>
-Last update: Wed Jul  4 23:15:01 2007
+Last update: Thu Jul  5 23:14:56 2007
 </FONT></CENTER>
 
 <P>
@@ -24,7 +24,8 @@ included.
 <UL>
 <LI>Simpler APIs using overloading: see <A HREF="synopsis.html">Synopsis</A>.
   The API of version 1.0 remains valid and can be used in combination with this.
-<LI>Bug fixes.
+<LI>Bug fixes and new paradigms.
+<LI>Licensed under LGPL.
 </UL>
 
 <H2>Authors</H2>
@@ -58,6 +59,7 @@ Elisabet Engdahl,
 Markus Forsberg,
 Kristofer Johannisson,
 Anni Laine,
+Hans Leiß,
 Peter Ljunglöf,
 Saara Myllyntausta,
 Wanjiku Ng'ang'a,
diff --git a/lib/resource-1.0/doc/index.txt b/lib/resource-1.0/doc/index.txt
index dd019e4b4..682c06d84 100644
--- a/lib/resource-1.0/doc/index.txt
+++ b/lib/resource-1.0/doc/index.txt
@@ -19,8 +19,8 @@ included.
 **New in Version 1.2**
 - Simpler APIs using overloading: see [Synopsis synopsis.html].
   The API of version 1.0 remains valid and can be used in combination with this.
-- Bug fixes.
-
+- Bug fixes and new paradigms.
+- Licensed under LGPL.
 
 
 
@@ -57,6 +57,7 @@ Elisabet Engdahl,
 Markus Forsberg,
 Kristofer Johannisson,
 Anni Laine,
+Hans Leiß,
 Peter Ljunglöf,
 Saara Myllyntausta,
 Wanjiku Ng'ang'a,
diff --git a/lib/resource-1.0/doc/synopsis-example.txt b/lib/resource-1.0/doc/synopsis-example.txt
index c07595967..8c992339e 100644
--- a/lib/resource-1.0/doc/synopsis-example.txt
+++ b/lib/resource-1.0/doc/synopsis-example.txt
@@ -15,7 +15,7 @@ An abstract syntax:
 ```
 A domain lexicon interface:
 ```
-  interface MusicLex = open Cat in {
+  interface LexMusic = open Cat in {
   oper
     song_N : N ;
     american_A : A ;
@@ -35,7 +35,7 @@ A functor on ``Syntax`` and the domain lexicon interface:
 ```
 For each language, an instance of the domain lexicon:
 ```
-  instance MusicLexGer of MusicLex = CatGer ** open ParadigmsGer in {    
+  instance LexMusicGer of LexMusic = CatGer ** open ParadigmsGer in {    
   oper
     song_N = mkN "Lied" "Lieder" neuter ;
     american_A = mkA "amerikanisch" ;
@@ -44,7 +44,8 @@ For each language, an instance of the domain lexicon:
 For each language, an instantiation of the functor:
 ```
   --# -path=.:present:prelude
+
   concrete MusicGer of Music = MusicI with
     (Syntax = SyntaxGer),
-    (MusicLex = MusicLexGer) ;
+    (LexMusic = LexMusicGer) ;
 ```
diff --git a/lib/resource-1.0/doc/synopsis.html b/lib/resource-1.0/doc/synopsis.html
index 4e2842361..b2f8fdc75 100644
--- a/lib/resource-1.0/doc/synopsis.html
+++ b/lib/resource-1.0/doc/synopsis.html
@@ -5193,7 +5193,7 @@ An abstract syntax:
 A domain lexicon interface:
 </P>
 <PRE>
-    interface MusicLex = open Cat in {
+    interface LexMusic = open Cat in {
     oper
       song_N : N ;
       american_A : A ;
@@ -5217,7 +5217,7 @@ A functor on <CODE>Syntax</CODE> and the domain lexicon interface:
 For each language, an instance of the domain lexicon:
 </P>
 <PRE>
-    instance MusicLexGer of MusicLex = CatGer ** open ParadigmsGer in {    
+    instance LexMusicGer of LexMusic = CatGer ** open ParadigmsGer in {    
     oper
       song_N = mkN "Lied" "Lieder" neuter ;
       american_A = mkA "amerikanisch" ;
@@ -5228,9 +5228,10 @@ For each language, an instantiation of the functor:
 </P>
 <PRE>
     --# -path=.:present:prelude
+  
     concrete MusicGer of Music = MusicI with
       (Syntax = SyntaxGer),
-      (MusicLex = MusicLexGer) ;
+      (LexMusic = LexMusicGer) ;
 </PRE>
 <P></P>