casadi/casadi — pull request #760 by jgillis (2013-05-31 08:11:38+00:00)
Title: Concerning #399:  input().set()  -> setInput()

Ready for merge