54 Commits

Include renames

Author	SHA1	Message	Date
josh	5e6b83411b	User Guide: clarify Build Correctness section	2019-05-22 23:42:49 -04:00
josh	54e77f235f	finish documentation for command-line operations	2019-05-22 23:31:37 -04:00
josh	0d8aec0eb1	fill in a couple links	2019-05-21 23:36:58 -04:00
josh	573a542f84	add doc/user_guide.md	2019-05-21 23:20:45 -04:00