zhangx [Wed, 03 Feb 2016 22:17:29 +0800] rev 105
Commit to revert
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
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).
zhangx [Fri, 29 Jan 2016 09:46:07 +0800] rev 91
Removed *.*~, #***#, log, etc.
zhangx [Thu, 28 Jan 2016 21:14:17 +0800] rev 90
Retrofiting of:
CpsG.thy (the parallel copy of PIPBasics.thy),
ExtGG.thy (The paralell copy of Implemenation.thy),
PrioG.thy (The paralell copy of Correctness.thy)
has completed.
The next step is to overwite original copies with the paralell ones.
zhangx [Thu, 28 Jan 2016 16:36:46 +0800] rev 89
Slightly modified ExtGG.thy and PrioG.thy.
zhangx [Thu, 28 Jan 2016 16:33:49 +0800] rev 88
Merged back ExtGG.thy and PrioG.thy.
zhangx [Thu, 28 Jan 2016 15:36:48 +0800] rev 87
Tracking ExtGG.thy etc., so that a update to 83 is possible.
zhangx [Thu, 28 Jan 2016 07:46:05 +0800] rev 86
Added PrioG.thy again
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
zhangx [Sat, 16 Jan 2016 11:02:17 +0800] rev 78
Merged with 77
zhangx [Sat, 16 Jan 2016 10:59:03 +0800] rev 77
CpsG.thy updated. It is a copy of PIPBasics.thy under drastic improvement.
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Jan 2016 02:05:29 +0000] rev 76
some small changes to the paper