pip: Changelog

zhangx [Thu, 28 Jan 2016 07:43:05 +0800] rev 85

Added PrioG.thy as a parallel copy of Correctness.thy

zhangx [Wed, 27 Jan 2016 23:34:23 +0800] rev 84

The parallel of Implementation.thy, i.e. ExtGG.thy has been updated. And some errors in CpsG.thy have also been corrected.

Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 27 Jan 2016 13:50:02 +0000] rev 83

merged

Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 27 Jan 2016 13:47:08 +0000] rev 82

some small changes to Correctness and Paper

zhangx [Wed, 27 Jan 2016 19:28:42 +0800] rev 81

CpsG.thy restored. It was deleted. But now restored as a temporary holder of PIPBasics.thy.

zhangx [Wed, 27 Jan 2016 19:26:56 +0800] rev 80

CpsG.thy retrofiting almost completed. An important mile stone.

zhangx [Sun, 17 Jan 2016 22:18:35 +0800] rev 79

Still improving CpsG.thy

pip