6 Commits

Author	SHA1	Message	Date
aarne	719a5d1296	a little nicer synopsis printing	2007-09-06 21:01:23 +00:00
aarne	32615181a0	updated resource license and docs and makefile	2007-07-04 20:55:58 +00:00
aarne	8448623d36	tutorial exercises; put libdir in place in GF/src	2007-07-04 14:10:41 +00:00
aarne	7ee279fa3f	tex option for synopsis; not so nice-looking yet	2007-07-04 13:21:41 +00:00
aarne	0cad9315fb	extended Synopsis with categories, structural, and an example	2007-07-04 09:39:24 +00:00
aarne	df54b3071a	resource synopsis	2007-06-27 11:03:56 +00:00