2 Commits

Include renames

Author	SHA1	Message	Date
aarne	e755c013f8	added PassAgentV2 to App, and the specialized syntax functions to app.probs	2016-06-05 17:48:11 +00:00
aarne	e682f0972d	made App into a functor to make its body easier to modify; unfortunately, the import list must be copied however	2016-06-04 17:07:35 +00:00