6 commits

Author	SHA1	Message	Date
Electric Keet	6037adab51	General docs updates. ... New menu items, new options, a whole new user systems feature...	2024-08-17 16:08:46 -05:00
tildearrow	c6c692836b	more doc updates and fixes	2023-09-10 04:41:15 -05:00
tildearrow	fa6430bd7f	doc finalization: interface	2023-09-08 20:16:43 -05:00
Electric Keet	4748e185a7	Fixing something I botched. ... Hey, all those files I thought I clobbered!	2023-06-23 18:13:37 -07:00
Electric Keet	f73d831d11	Expanding interface docs.	2023-06-12 22:33:18 -05:00
tildearrow	17464b6446	move documentation out of papers	2023-06-05 00:08:37 -05:00

Renamed from papers/doc/2-interface/play-edit-controls.md (Browse further)