6 Commits

Author	SHA1	Message	Date
danielyxie	c3bc6a0c28	Changed Sleeve API functions to prevent conflicts with identically-named functions	2019-03-17 22:04:12 -07:00
danielyxie	1d07ca4ffb	Fixed a few minor bugs with submitting solutions for Coding Contracts. Started on Getting STarted Guide for wiki	2019-02-26 18:26:29 -08:00
danielyxie	a2237d4319	More bug fixes for Sleeve/Resleeve features. Rebalancing for Sleeve/Resleeve and stock market. Added an option to remove source files in the dev menu	2019-01-21 20:39:52 -08:00
danielyxie	5573e778bb	Fixed bugs with Sleeve mechanics. Updated documentation to use RTD theme	2019-01-20 14:57:38 -08:00
Steven Evans	df82f8becb	[chore] Centralizing documentation variables	2018-07-12 14:26:30 -04:00
danielyxie	f211e8856f	Minor bug fixes, adding spotify music player, and adding sphinx documentation	2018-01-09 14:48:06 -06:00