crc 332e9b17ce rename export-as-xhtml.retro to markdown-to-xhtml.retro ... FossilOrigin-Name: f3f171dbe3a055a3aa2b7c146ecd11a1ee7c7b12e2f4e42be3217329ed202477		2020-09-24 18:09:51 +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	rename export-as-xhtml.retro to markdown-to-xhtml.retro	2020-09-24 18:09:51 +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	toolchain: retro-muri.py gets some comments, minor internal layout change	2020-09-22 15:48:56 +00:00
retro-unu.c	housekeeping: rename some files in tools	2020-09-21 17:46:08 +00:00
retro-unu.py	toolchain: add comments to retro-unu.py	2020-09-22 15:54:04 +00:00
strl.h	minor cleanups	2019-07-08 12:34:29 +00:00