rgrig/topl — Issue #10: select properties from the command line
Author: rgrig
Created: 2012-02-28 15:43:08+00:00
State: open

The command `toplc -i dir prop.topl` compiles all the properties in the file prop.topl. It would be nice to select properties by their name.