nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Fri, 27 Nov 2009 02:35:50 +0100] rev 406

deleted obsolete qenv code

Christian Urban <urbanc@in.tum.de> [Fri, 27 Nov 2009 02:23:49 +0100] rev 405

renamed REGULARIZE to be regularize

Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 21:16:59 +0100] rev 404

more tuning

Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 21:04:17 +0100] rev 403

deleted get_fun_old and stuff

Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 21:01:53 +0100] rev 402

recommited changes of comments

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 26 Nov 2009 20:32:56 +0100] rev 401

Merge Again

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 26 Nov 2009 20:32:33 +0100] rev 400

Merged

Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 20:18:36 +0100] rev 399

tuned comments

Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 19:51:31 +0100] rev 398

some diagnostic code for r_mk_comb

Christian Urban <urbanc@in.tum.de> [Thu, 26 Nov 2009 16:23:24 +0100] rev 397

introduced a new property for Ball and ===> on the left

nominal2