Programming Languages Research Group: Git

2016-10-15	Ali Younis	Added to formal part	commit \| commitdiff \| tree
2016-10-15	Ali Younis	Formal Document edits	commit \| commitdiff \| tree
2016-10-14	Ali Younis	Updates	commit \| commitdiff \| tree
2016-10-14	Ali Younis	Formal Edits	commit \| commitdiff \| tree
2016-10-13	Ali Younis	Formal Edits	commit \| commitdiff \| tree
2016-10-11	Ali Younis	Formal Version	commit \| commitdiff \| tree
2016-10-10	Ali Younis	Changes	commit \| commitdiff \| tree
2016-10-10	Ali Younis	Changes	commit \| commitdiff \| tree
2016-10-09	Ali Younis	Changes	commit \| commitdiff \| tree
2016-10-04	Ali Younis	Added to guarantees	commit \| commitdiff \| tree
2016-10-03	Ali Younis	Added Guarantees section	commit \| commitdiff \| tree
2016-10-02	Ali Younis	Added some ignores for the version 2 docs	commit \| commitdiff \| tree
2016-10-02	Ali Younis	Added to version 2 docs	commit \| commitdiff \| tree
2016-09-30	Ali Younis	Version 2 docs	commit \| commitdiff \| tree

Unnamed repository; edit this file 'description' to name the repository.