more paradigm info in synopsis; removed synopsis.txt from darcs

This commit is contained in:
aarne
2010-12-14 22:16:28 +00:00
parent 99b928bca9
commit 803fad9b02
2 changed files with 186 additions and 2459 deletions

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff