drwxr-xr-x   4 edrx edrx      4096 Sep 11  2008 ./
drwxr-xr-x 222 edrx edrx     32768 Jan 18 20:31 ../
-rw-r--r--   1 edrx edrx     14650 Feb 21  2020 GLOSSARY
-rw-r--r--   1 edrx edrx     15226 Jan 18 20:31 GLOSSARY.html
-rw-r--r--   1 edrx edrx     35147 Feb 21  2020 LICENSE
-rw-r--r--   1 edrx edrx     35740 Jan 18 20:31 LICENSE.html
-rw-r--r--   1 edrx edrx      5882 Feb 21  2020 README
-rw-r--r--   1 edrx edrx      6235 Jan 18 20:31 README.html
-rw-r--r--   1 edrx edrx      1406 Feb 21  2020 README.too
-rw-r--r--   1 edrx edrx      3479 Jan 18 20:31 README.too.html
-rw-r--r--   1 edrx edrx      1764 Feb 21  2020 USAGE
-rw-r--r--   1 edrx edrx      2139 Jan 18 20:31 USAGE.html
-rw-r--r--   2 edrx www-data 46286 Jan  9  2008 blocks.tar.gz
drwxr-xr-x   2 edrx edrx      4096 Jan  7  2008 demos/
-rw-r--r--   1 edrx edrx      3164 Feb 21  2020 file.rb
-rw-r--r--   1 edrx edrx      3519 Jan 18 20:31 file.rb.html
-rw-r--r--   1 edrx edrx       717 Feb 21  2020 forth.rb
-rw-r--r--   1 edrx edrx      1074 Jan 18 20:31 forth.rb.html
-rw-r--r--   1 edrx edrx      3284 Feb 21  2020 high-level.fs
-rw-r--r--   1 edrx edrx      3738 Jan 18 20:31 high-level.fs.html
-rw-r--r--   1 edrx edrx      2188 Feb 21  2020 inspector.rb
-rw-r--r--   1 edrx edrx      2565 Jan 18 20:31 inspector.rb.html
-rwxr-xr-x   1 edrx edrx       490 Feb 21  2020 install.sh*
-rw-r--r--   1 edrx edrx       896 Jan 18 20:31 install.sh.html
-rw-r--r--   1 edrx edrx     10631 Feb 21  2020 kernel.rb
-rw-r--r--   1 edrx edrx     11002 Jan 18 20:31 kernel.rb.html
-rw-r--r--   1 edrx edrx      5146 Feb 21  2020 primitives.rb
-rw-r--r--   1 edrx edrx      5538 Jan 18 20:31 primitives.rb.html
-rwxr-xr-x   1 edrx edrx       278 Feb 21  2020 rubyforth*
-rw-r--r--   2 edrx www-data 32325 Aug 13  2008 rubyforth-0.24.tar.gz
-rw-r--r--   1 edrx edrx       637 Jan 18 20:31 rubyforth.html
-rw-r--r--   1 edrx edrx      1213 Feb 21  2020 stack.rb
-rw-r--r--   1 edrx edrx      1582 Jan 18 20:31 stack.rb.html
drwxr-xr-x   2 edrx edrx      4096 Jan 18 20:31 tools/
-rw-r--r--   1 edrx edrx      1916 Feb 21  2020 vocabulary.rb
-rw-r--r--   1 edrx edrx      2286 Jan 18 20:31 vocabulary.rb.html