pip: Changelog

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 30 May 2014 07:56:39 +0100] rev 38

finished proof of acyclity

Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 24 May 2014 12:39:12 +0100] rev 37

simplified RAG_acyclic proof

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 23 May 2014 15:19:32 +0100] rev 36

added a test theory for polishing teh proofs

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 22 May 2014 17:40:39 +0100] rev 35

added a bit more text to the paper and separated a theory about Max

pip