This repository has been archived on 2024-07-04. You can view files and clone it, but cannot push or open issues or pull requests.

Einar Ryeng b637a5badc Changed /usr/bin/python2.4 to /usr/bin/python, and hope that 2.5 will not have ... trouble running the app.		2007-06-28 21:42:18 +00:00
..
dataset	Added -d option to get all identifiers along a single dimension.	2007-05-16 10:30:54 +00:00
fluents	Changed /usr/bin/python2.4 to /usr/bin/python, and hope that 2.5 will not have	2007-06-28 21:42:18 +00:00