pip: Graph

Mercurial Mercurial > hg > pip / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | help
less more | (0) -50 -30 +30 +50 +100 tip

merged
2016-01-29, by Christian Urban
merged
2016-01-28, by Christian Urban
changes to my repository
2016-01-28, by Christian Urban
some small changes
2016-01-28, by Christian Urban
The overwriten original .thy files are working now. The ones in last revision aren't.
2016-01-29, by zhangx
Original files overwrite by their parallels (Correctness.thy v.s. PrioG.thy, PIPBasics.thy v.s. CpsG.thy, Implementation v.s. ExtGG.thy).
2016-01-29, by zhangx
Removed *.*~, #***#, log, etc.
2016-01-29, by zhangx
Retrofiting of:
2016-01-28, by zhangx
Slightly modified ExtGG.thy and PrioG.thy.
2016-01-28, by zhangx
Merged back ExtGG.thy and PrioG.thy.
2016-01-28, by zhangx
Tracking ExtGG.thy etc., so that a update to 83 is possible.
2016-01-28, by zhangx
Added PrioG.thy again
2016-01-28, by zhangx
Added PrioG.thy as a parallel copy of Correctness.thy
2016-01-28, by zhangx
The parallel of Implementation.thy, i.e. ExtGG.thy has been updated. And some errors in
2016-01-27, by zhangx
merged
2016-01-27, by Christian Urban
some small changes to Correctness and Paper
2016-01-27, by Christian Urban
CpsG.thy restored. It was deleted. But now restored as a temporary holder of PIPBasics.thy.
2016-01-27, by zhangx
CpsG.thy retrofiting almost completed. An important mile stone.
2016-01-27, by zhangx
Still improving CpsG.thy
2016-01-17, by zhangx
Merged with 77
2016-01-16, by zhangx
CpsG.thy updated. It is a copy of PIPBasics.thy under drastic improvement.
2016-01-16, by zhangx
some small changes to the paper
2016-01-15, by Christian Urban
updated paper
2016-01-14, by Christian Urban
Moment.thy further simplified.
2016-01-14, by zhangx
Moment.thy further improved.
2016-01-13, by zhangx
another simplification
2016-01-13, by Christian Urban
some small change
2016-01-13, by Christian Urban
further simplificaton of Moment.thy
2016-01-13, by Christian Urban
simplified Moment.thy
2016-01-13, by Christian Urban
Before retrofiting PIPBasics.thy
2016-01-12, by zhangx

less more | (0) -50 -30 +30 +50 +100 tip

pip