3 Commits

Author	SHA1	Message	Date
Matt Heffron	0474f924a4	This is the Histmenu+Manager+Clipboard branch WITHOUT the changes to Clipboard (since there were issues with conflicting key bindings) (#944)	2022-09-20 07:49:23 -07:00
Larry Masinter	aad2344d82	odds and ends --	2022-02-24 18:59:15 -08:00
Larry Masinter	ce4eae736e	add merge in Ron's 11/21/2020 lispcore	2020-11-21 13:24:44 -08:00