added Ice and Nno to synopsis and ResourceDemo, and updated documentation

2017-01-19 19:58:48 +00:00
parent 22dc784d73
commit 109cca464c
13 changed files with 1439 additions and 523 deletions
--- a/lib/src/api/SymbolicIce.gf
+++ b/lib/src/api/SymbolicIce.gf
@@ -1,4 +1,4 @@
--# -path=.:../english:../common:../abstract:../prelude
+--# -path=.:../icelandic:../common:../abstract:../prelude

 resource SymbolicIce = Symbolic with 
  (Symbol = SymbolIce),