|
7bdfdea23b
|
Added -d option to get all identifiers along a single dimension.
|
2007-05-16 10:30:54 +00:00 |
|
|
1ab558248c
|
Piping information through dataset -i works. Added names of planned features
to the dataset script.
|
2007-05-09 21:52:59 +00:00 |
|
|
7272eb63d2
|
Working on a script to query datasets without starting fluents.
|
2007-05-09 17:41:50 +00:00 |
|