Programming Languages Research Group: Git

2016-07-12	rtrimana	Replacing primes with subscripts for MaxSlot and MinSlot	commit \| commitdiff \| tree
2016-07-12	rtrimana	Adding empty set as another return value for a true...	commit \| commitdiff \| tree
2016-07-12	rtrimana	Using \tuple{} for expressing tuples	commit \| commitdiff \| tree
2016-07-12	rtrimana	Adding helper functions for server part; cleaning up	commit \| commitdiff \| tree
2016-07-11	rtrimana	Cleaning up PutSlot function	commit \| commitdiff \| tree
2016-07-11	rtrimana	Renaming Get and Put into GetSlot and PutSlot; Cleaning...	commit \| commitdiff \| tree
2016-07-11	rtrimana	Server algorithm revised - two basic functions, e.g...	commit \| commitdiff \| tree
2016-07-07	rtrimana	Adding client algorithm; modifying some parts of server...	commit \| commitdiff \| tree
2016-07-06	rtrimana	Adding server algorithm	commit \| commitdiff \| tree
2016-07-05	rtrimana	Completing login and key management (part 1.1)	commit \| commitdiff \| tree
2016-06-30	rtrimana	Give more explanations on data entries, add a few punctuatio...	commit \| commitdiff \| tree

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