3 Commits

Author	SHA1	Message	Date
aarne	52796e4b63	renamed mkNP to makeNP in Paradigms; added overloaded Paradigms to all 10	2007-07-06 08:47:59 +00:00
aarne	37b49d3597	updated resource license and docs and makefile	2007-07-04 20:55:58 +00:00
aarne	954d3f2260	tex option for synopsis; not so nice-looking yet	2007-07-04 13:21:41 +00:00