crc de6c62d5f2 toolchain: retro-extend.py now handles multiple inputs, passing image name on command line ... FossilOrigin-Name: ba4fc1a5e2b043520ccdd82c01b9a56616c95a80416db7e125434f4cf7f2529e		2020-09-22 15:34:05 +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-extend.py	toolchain: retro-extend.py now handles multiple inputs, passing image name on command line	2020-09-22 15:34:05 +00:00
retro-muri.c	housekeeping: rename some files in tools	2020-09-21 17:46:08 +00:00
retro-muri.py	reformat python code for consistency	2020-09-22 12:06:40 +00:00
retro-unu.c	housekeeping: rename some files in tools	2020-09-21 17:46:08 +00:00
retro-unu.py	reformat python code for consistency	2020-09-22 12:06:40 +00:00
strl.h	minor cleanups	2019-07-08 12:34:29 +00:00