diff --git a/src/www/gfse/about.html b/src/www/gfse/about.html index b57242675..f9e3f5712 100644 --- a/src/www/gfse/about.html +++ b/src/www/gfse/about.html @@ -114,7 +114,7 @@ Error checks: At the moment, the concrete syntax for a language L is limited to
SyntaxL, ParadigmsL,
LexiconL, SymbolicL
@@ -231,6 +231,45 @@ Also note that each grammar is assigned a unique identity
when it is first created. Renaming a grammar does not change its identity.
This means that name changes are propagated between devices like other changes.
++[October 2012: this is an experimental feature that +might be replaced by an incompatible grammar sharing mechanism in the future.] ++
+The grammar cloud also includes a list of public grammars. +Grammars can be added to the public list by pressing the +Publish button shown next to the grammars in the list of +your grammars. + +
+The Publish button creates copy of your grammar. +If you continue to edit your grammar, the changes will be local only. +You can press the Publish button again to update the public +copy. + +
+You can remove a grammar from the public list by pressing the +× button next to the grammar in the public list. +You can not remove grammars published by other users. + +
+When you open a public grammar published by another user, a copy of +the grammar is added to the list of your grammars. Any changes will be made in +your own copy of the grammar. If you publish your copy of the grammar, it will +appear separately in the list of public grammars. You can not +overwrite grammars published by other users, even if they have the same name. + +
+TODO: Publishing grammars that inherit form other grammars is not recommended. +There is no way to indicate which of several grammars with the same name is +being inherited. + +
+TODO: There should probably be a way to identify who published a grammar and +when. Maybe the publish button should be restricted to registered users... + +