descriptionUnnamed repository; edit this file to name it for gitweb.
last changeWed, 8 Apr 2015 09:22:29 +0000 (11:22 +0200)
shortlog
2015-04-08 Thomas RoehrUpdate manifest master
2014-08-14 Satia HerfertTest data for TFD.
2014-08-14 Satia HerfertUsing given planner, not always Lama.
2014-06-04 Thomas RoehrAdapt to change pddl_planner interface rock1408 rock1408_rc1
2013-05-14 Thomas RoehrAdapt manifest
2013-05-14 Thomas RoehrAdd task and test
heads
17 months ago master
2 years ago rock1408
2 years ago rock1408_rc1