Revision fb16c3ae244436a905aa7df3f7b449b584f3c814 authored by Barak A. Pearlmutter on 19 October 2019, 16:25:11 UTC, committed by Barak A. Pearlmutter on 22 July 2020, 19:36:14 UTC
1 parent 01d5226
Raw File
er
ERASE contentslist
ER contentslist

	command.  Erases from the workspace the procedures, variables,
	and property lists named in the input.  Primitive procedures may
	not be erased unless the variable REDEFP has the value TRUE.

back to top