Mercurial
Mercurial
>
hg
>
pip
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30
-10
-4
+4
+10
+30
+100
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Thu, 28 Jan 2016 21:14:17 +0800
Retrofiting of:
changeset
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.
Thu, 28 Jan 2016 16:36:46 +0800
Slightly modified ExtGG.thy and PrioG.thy.
changeset
zhangx [Thu, 28 Jan 2016 16:36:46 +0800] rev 89
Slightly modified ExtGG.thy and PrioG.thy.
Thu, 28 Jan 2016 16:33:49 +0800
Merged back ExtGG.thy and PrioG.thy.
changeset
zhangx [Thu, 28 Jan 2016 16:33:49 +0800] rev 88
Merged back ExtGG.thy and PrioG.thy.
Thu, 28 Jan 2016 15:36:48 +0800
Tracking ExtGG.thy etc., so that a update to 83 is possible.
changeset
zhangx [Thu, 28 Jan 2016 15:36:48 +0800] rev 87
Tracking ExtGG.thy etc., so that a update to 83 is possible.
(0)
-30
-10
-4
+4
+10
+30
+100
tip