5 Commits

Author	SHA1	Message	Date
aarne	37b49d3597	updated resource license and docs and makefile	2007-07-04 20:55:58 +00:00
aarne	3618a637f5	tutorial exercises; put libdir in place in GF/src	2007-07-04 14:10:41 +00:00
aarne	954d3f2260	tex option for synopsis; not so nice-looking yet	2007-07-04 13:21:41 +00:00
aarne	b7ffd929a0	extended Synopsis with categories, structural, and an example	2007-07-04 09:39:24 +00:00
aarne	4e68e1e225	resource synopsis	2007-06-27 11:03:56 +00:00