re-added option for strict prism checking
tree8e73feca62547b433e599b9aeba9248142f21304
-rw-r--r-- 92 .cvsignore
-rw-r--r-- 782 .gitignore
-rw-r--r-- 385 .hgignore
drwxr-xr-x - manual
drwxr-xr-x - src