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

Age	Commit message (Collapse)	Author
2013-03-29	option pt -funs to show all fun's in a tree	aarne

2013-03-13	pt -nub to remove duplicate trees from a list returned e.g. by a parser	aarne

2013-03-12	command pt -subtrees that analyses a tree into the set of subtrees. Using pt ↵	aarne
	-subtrees <bigtree> \| l -treebank for debugging the lin of a big tree
2011-03-12	generalized pt -transfer so that it goes into subtrees (naive implementation ↵	aarne
	in TreeOperations; using PGF.Expr.match would be better); example given in 'h pt'
2009-12-13	reorganize the directories under src, and rescue the JavaScript interpreter ↵	krasimir
	from deprecated