Thu, 10 Dec 2009 04:53:48 +0100 | Christian Urban | simplified the instantiation of QUOT_TRUE in procedure_tac | changeset | files |
Thu, 10 Dec 2009 04:35:08 +0100 | Christian Urban | completed previous commit | changeset | files |
Thu, 10 Dec 2009 04:34:24 +0100 | Christian Urban | deleted DT/NDT diagnostic code | changeset | files |