Commands changing input

[Bart Bogaerts]

We should check which commands change their input. We agreed to make them change it, if possible, but there are unwanted changes. For example, the "calculatedefinitions" command deletes definitions from its theory (see for example tests/definitiontests/unwellfoundedbutstable.idp)

[Bart Bogaerts]

see issue 76: fixed this for the calculatedefinitions and idpintern.modelexpand

needs to be checked for other commands

→ 87f2bde83323

[Broes De Cat]

see issue 76: fixed this for the calculatedefinitions and idpintern.modelexpand

needs to be checked for other commands

→ 87f2bde83323

[Broes De Cat]

Removing milestone: First Release 25/12/2011 (automated comment)