pip: Changelog

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

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 28 Jan 2016 13:46:45 +0000] rev 94

some small changes

zhangx [Fri, 29 Jan 2016 11:01:13 +0800] rev 93

The overwriten original .thy files are working now. The ones in last revision aren't.

zhangx [Fri, 29 Jan 2016 10:51:52 +0800] rev 92

Original files overwrite by their parallels (Correctness.thy v.s. PrioG.thy, PIPBasics.thy v.s. CpsG.thy, Implementation v.s. ExtGG.thy).

pip