fix permissions, add note on documentation

f7eaa7b3 · Mart Lubbers · 96afefd7 · f7eaa7b3 · f7eaa7b3 · f7eaa7b3
Commit f7eaa7b3 authored Dec 09, 2019 by Mart Lubbers
--- a/src/nl/uu/cs/ssmui/Help.java
+++ b/src/nl/uu/cs/ssmui/Help.java
--- a/src/nl/uu/cs/ssmui/HelpFromProp.java
+++ b/src/nl/uu/cs/ssmui/HelpFromProp.java
--- a/src/nl/uu/cs/ssmui/HelpTopic.java
+++ b/src/nl/uu/cs/ssmui/HelpTopic.java
--- a/src/nl/uu/cs/ssmui/Images.java
+++ b/src/nl/uu/cs/ssmui/Images.java
--- a/src/nl/uu/cs/ssmui/Labels.java
+++ b/src/nl/uu/cs/ssmui/Labels.java
--- a/src/nl/uu/cs/ssmui/Runner.java
+++ b/src/nl/uu/cs/ssmui/Runner.java
--- a/src/nl/uu/cs/ssmui/SSMAbout.java
+++ b/src/nl/uu/cs/ssmui/SSMAbout.java
--- a/src/nl/uu/cs/ssmui/SSMAbout.jfrm
+++ b/src/nl/uu/cs/ssmui/SSMAbout.jfrm
--- a/src/nl/uu/cs/ssmui/SSMHelp.java
+++ b/src/nl/uu/cs/ssmui/SSMHelp.java
--- a/src/nl/uu/cs/ssmui/SSMHelp.jfrm
+++ b/src/nl/uu/cs/ssmui/SSMHelp.jfrm
--- a/src/nl/uu/cs/ssmui/SSMRunner.java
+++ b/src/nl/uu/cs/ssmui/SSMRunner.java
--- a/src/nl/uu/cs/ssmui/SSMRunner.jfrm
+++ b/src/nl/uu/cs/ssmui/SSMRunner.jfrm
--- a/src/nl/uu/cs/ssmui/StackTableModel.java
+++ b/src/nl/uu/cs/ssmui/StackTableModel.java
--- a/src/nl/uu/cs/ssmui/StatusTableModel.java
+++ b/src/nl/uu/cs/ssmui/StatusTableModel.java
--- a/tests/t01.ssm
+++ b/tests/t01.ssm
--- a/tests/t02expr.ssm
+++ b/tests/t02expr.ssm
--- a/tests/t03expr.ssm
+++ b/tests/t03expr.ssm
--- a/tests/t04faciter.ssm
+++ b/tests/t04faciter.ssm
--- a/tests/t05facrec.ssm
+++ b/tests/t05facrec.ssm
--- a/tests/t06ptr.ssm
+++ b/tests/t06ptr.ssm