TXDT

The TXDT package - interlisp text reading primitives. The TXDT package is a collection of INTERLISP programs designed for those who wish to build text editors in INTERLISP. TXDT provides a new INTERLISP data type, called a buffer, and programs for efficiently inserting, deleting, searching and manipulating text in buffers. Modifications may be made undoable. A unique feature of TXDT is that an address may be ”;stuck”; to a character occurrence so as to follow that character wherever it is subsequently moved. TXDT also has provisions for fonts.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element


References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Moore, J. Strother: Milestones from the Pure Lisp Theorem Prover to ACL2 (2019)