4 Commits

Author	SHA1	Message	Date
einarr	7e6bac20e1	FIXING STUFF! ... Rename should be complete or almost so.	2008-12-05 22:07:56 +00:00
einarr	7bdfdea23b	Added -d option to get all identifiers along a single dimension.	2007-05-16 10:30:54 +00:00
einarr	1ab558248c	Piping information through dataset -i works. Added names of planned features ... to the dataset script.	2007-05-09 21:52:59 +00:00
einarr	7272eb63d2	Working on a script to query datasets without starting fluents.	2007-05-09 17:41:50 +00:00