gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Collapse)	Author
2013-12-10	testsuite: fix test of generate_trees	hallgren
	There were two differences between the current output and the old gold file: 1. The trees are no longer generated with increasing depth 2. The meaning of the -depth flag has changed: for example, "gt -cat=Nat -depth=1" used to generate only "zero", now you also get "succ zero".
2010-11-12	operations in the abstract syntax	krasimir