Issue 18: turn everything branch into new trunk - Fast Downward issue tracker

Title	turn everything branch into new trunk
Priority	feature	Status	resolved
Superseder		Nosy List	malte
Assigned To	malte	Keywords
Optional summary

Created on 2009-10-08.00:00:17 by malte, last changed by malte.

Messages
msg59 (view)	Author: malte	Date: 2009-10-09.19:24:26
Mostly done, apart from the scripts (which are in a separate issue).
msg29 (view)	Author: malte	Date: 2009-10-08.00:00:17
The "everything" branch largely supersedes the current trunk and should become the new trunk. Once it is the new trunk, we should take care to update the documentation and other things in the "dist" subdirectory since it will be widely inaccurate.

History
Date	User	Action	Args
2009-10-09 19:24:26	malte	set	status: in-progress -> resolved messages: + msg59
2009-10-08 00:01:06	malte	set	priority: wish -> feature
2009-10-08 00:00:17	malte	create