pip: Changelog

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 17 Jun 2016 09:46:25 +0100] rev 130

updated

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 14 Jun 2016 15:06:16 +0100] rev 129

removed some files to attic

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 14 Jun 2016 13:56:51 +0100] rev 128

removed most instances of raw

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 09 Jun 2016 23:01:36 +0100] rev 127

updated

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 07 Jun 2016 13:51:39 +0100] rev 126

minor update

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 02 Jun 2016 13:15:03 +0100] rev 125

updated

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Apr 2016 14:44:09 +0100] rev 124

updated journal paper

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Apr 2016 13:52:07 +0100] rev 123

added style files.

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 21 Mar 2016 15:06:52 +0000] rev 122

all updated to Isabelle 2016

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 21 Mar 2016 14:41:40 +0000] rev 121

added ? to PIPBasics

pip