pip: Changelog

zhangx [Wed, 03 Feb 2016 21:51:57 +0800] rev 104

A fake merge. Used to revert to 98

zhangx [Wed, 03 Feb 2016 21:41:42 +0800] rev 103

PIPBasics.thy reorganized into sections. The structure is now stable. Next step is to put in more comments.

zhangx [Wed, 03 Feb 2016 21:05:15 +0800] rev 102

Reorganizing PIPBasics.thy and making small changes to Implementation.thy and Correctness.thy.

zhangx [Wed, 03 Feb 2016 12:04:03 +0800] rev 101

Reorganzing PIPBasics.thy intro sections.

zhangx [Mon, 01 Feb 2016 20:56:39 +0800] rev 100

Reorganizing PIPBasics.thy

zhangx [Sun, 31 Jan 2016 18:15:13 +0800] rev 99

Small improvemnts in PIPBasis.thy

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 29 Jan 2016 17:08:54 +0000] rev 98

deleted superflous files

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 29 Jan 2016 17:06:02 +0000] rev 97

merged

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 28 Jan 2016 14:57:36 +0000] rev 96

merged

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 28 Jan 2016 14:26:10 +0000] rev 95

changes to my repository

pip