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

This commit is contained in:
aarne
2017-01-19 19:58:48 +00:00
parent 7170642e20
commit fea7023cc5
12 changed files with 1435 additions and 521 deletions
+1 -1
View File
@@ -1,4 +1,4 @@
--# -path=.:../english:../common:../abstract:../prelude
--# -path=.:../icelandic:../common:../abstract:../prelude
resource SymbolicIce = Symbolic with
(Symbol = SymbolIce),