Mercurial Mercurial > hg > pip / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -100 -16 +16 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2016-02-05 zhangx wq_in_inv and wq_out_inv are removed, a number of loop holes need to be filled. changeset | files
2016-02-04 zhangx Several redundant lemmas removed. changeset | files
2016-02-04 Christian Urban updated Correctness, Implementation and PIPBasics so that they work with Isabelle 2014 and 2015 changeset | files
2016-02-03 Christian Urban updated files changeset | files
2016-02-03 zhangx Commit to revert changeset | files
2016-02-03 zhangx A fake merge. Used to revert to 98 changeset | files
2016-02-03 zhangx PIPBasics.thy reorganized into sections. The structure is now stable. Next step is to put in more comments. changeset | files
2016-02-03 zhangx Reorganizing PIPBasics.thy and making small changes to Implementation.thy and Correctness.thy. changeset | files
2016-02-03 zhangx Reorganzing PIPBasics.thy intro sections. changeset | files
2016-02-01 zhangx Reorganizing PIPBasics.thy changeset | files
2016-01-31 zhangx Small improvemnts in PIPBasis.thy changeset | files
2016-01-29 Christian Urban deleted superflous files changeset | files
2016-01-29 Christian Urban merged changeset | files
2016-01-28 Christian Urban merged changeset | files
2016-01-28 Christian Urban changes to my repository changeset | files
2016-01-28 Christian Urban some small changes changeset | files
(0) -100 -16 +16 tip
pip