crc 38fed89958 housekeeping: rename some files in tools; remove an unused toolchain item ... FossilOrigin-Name: 599c6411b356ab939ed2951167ba937158b2e7944eef1e4cab9bf7979166f012		2020-09-21 17:51:59 +00:00
..
glossary.retro	rename words in sys: to script: (old names still work in this release, but are deprecated)	2020-09-14 19:55:02 +00:00
html-chapters.retro	add new sections to documentation	2020-04-20 15:08:45 +00:00
make-book.retro	add new sections to documentation	2020-04-20 15:08:45 +00:00
rename-forth-to-retro.sh	add a shell script to help with the future file renaming process	2019-06-28 16:48:18 +00:00
retro-describe.retro	rename words in sys: to script: (old names still work in this release, but are deprecated)	2020-09-14 19:55:02 +00:00
retro-document.sh	housekeeping: rename some files in tools	2020-09-21 17:46:08 +00:00
retro-embedimage.c	housekeeping: rename some files in tools; remove an unused toolchain item	2020-09-21 17:51:59 +00:00
retro-extend.c	housekeeping: rename some files in tools; remove an unused toolchain item	2020-09-21 17:51:59 +00:00
retro-muri.c	housekeeping: rename some files in tools	2020-09-21 17:46:08 +00:00
retro-unu.c	housekeeping: rename some files in tools	2020-09-21 17:46:08 +00:00
retro-unu.py	housekeeping: rename some files in tools; remove an unused toolchain item	2020-09-21 17:51:59 +00:00
strl.h	minor cleanups	2019-07-08 12:34:29 +00:00