more paradigm info in synopsis; removed synopsis.txt from darcs
This commit is contained in:
1 parent
fa56aa9306
commit
6b3b2ecb96
2 files changed
+186
-2459