8 Commits

Author	SHA1	Message	Date
aarne	c327ca5a87	table size in synopsis	2007-09-07 08:44:26 +00:00
aarne	7b0c808027	reorganized synopsis, added cat chart	2007-09-07 08:34:02 +00:00
aarne	dbbbfc16f4	a little nicer synopsis printing	2007-09-06 21:01:23 +00:00
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