From 21e6ebfe2656bbccdac3fe34c1084a7924254406 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Tue, 26 Jul 2011 15:03:33 +0000
Subject: [PATCH] gfse: about: added a note that each grammar has a unique
 identity independent of its name

---
 src/editor/simple/about.html | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/editor/simple/about.html b/src/editor/simple/about.html
index 19a264a01..050812ca3 100644
--- a/src/editor/simple/about.html
+++ b/src/editor/simple/about.html
@@ -195,6 +195,11 @@ cloud from multiple devices, the last upload wins. Thus the current
 implementation is suitable for a single user switching between different
 devices, but not recommended for sharing grammars between multiple users.
 
+<p>
+Also <strong>note</strong> that each grammar is assigned a unique identity
+when it is created. Renaming a grammar does not change its identity. This means
+that name changes are propagated between devices like other changes.
+
 <h3>Future work</h3>
 
 This prototype gives an idea of how a web based GF grammar editor could work.
@@ -220,7 +225,7 @@ suitable for multiple users developing  a grammar in collaboration.
 
 <hr>
 <div class=modtime><small>
-<!-- hhmts start --> Last modified: Thu Jul  7 18:55:55 CEST 2011 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Tue Jul 26 17:01:22 CEST 2011 <!-- hhmts end -->
   </small></div>
 <address>
 <a href="http://www.cse.chalmers.se/~hallgren/">TH</a>