2 Commits

Author	SHA1	Message	Date
aarne	0c3268bbfd	added PassAgentV2 to App, and the specialized syntax functions to app.probs	2016-06-05 17:48:11 +00:00
aarne	4f6c5cbacf	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