pip: Changelog

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 03 Jun 2014 15:00:12 +0100] rev 40

added a library about graphs

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 02 Jun 2014 14:58:42 +0100] rev 39

updated

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

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 20 May 2014 12:49:21 +0100] rev 34

updated ROOT file

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 15 May 2014 16:02:44 +0100] rev 33

simplified the cp_rec proof

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 06 May 2014 14:36:40 +0100] rev 32

made some modifications.

Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 12 Mar 2014 10:08:20 +0000] rev 31

added paper

pip