drwxr-xr-x   4 edrx edrx      4096 Sep 11  2008 ./
drwxr-xr-x 290 edrx edrx     36864 Jul 22 01:47 ../
-rw-r--r--   1 edrx edrx     14650 Feb 21  2020 GLOSSARY
-rw-r--r--   1 edrx edrx     15357 Jul 22 01:47 GLOSSARY.html
-rw-r--r--   1 edrx edrx     35147 Feb 21  2020 LICENSE
-rw-r--r--   1 edrx edrx     35871 Jul 22 01:47 LICENSE.html
-rw-r--r--   1 edrx edrx      5882 Feb 21  2020 README
-rw-r--r--   1 edrx edrx      6366 Jul 22 01:47 README.html
-rw-r--r--   1 edrx edrx      1406 Feb 21  2020 README.too
-rw-r--r--   1 edrx edrx      3962 Jul 22 01:47 README.too.html
-rw-r--r--   1 edrx edrx      1764 Feb 21  2020 USAGE
-rw-r--r--   1 edrx edrx      2270 Jul 22 01:47 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      3650 Jul 22 01:47 file.rb.html
-rw-r--r--   1 edrx edrx       717 Feb 21  2020 forth.rb
-rw-r--r--   1 edrx edrx      1205 Jul 22 01:47 forth.rb.html
-rw-r--r--   1 edrx edrx      3284 Feb 21  2020 high-level.fs
-rw-r--r--   1 edrx edrx      3869 Jul 22 01:47 high-level.fs.html
-rw-r--r--   1 edrx edrx      2188 Feb 21  2020 inspector.rb
-rw-r--r--   1 edrx edrx      2696 Jul 22 01:47 inspector.rb.html
-rwxr-xr-x   1 edrx edrx       490 Feb 21  2020 install.sh*
-rw-r--r--   1 edrx edrx      1027 Jul 22 01:47 install.sh.html
-rw-r--r--   1 edrx edrx     10631 Feb 21  2020 kernel.rb
-rw-r--r--   1 edrx edrx     11133 Jul 22 01:47 kernel.rb.html
-rw-r--r--   1 edrx edrx      5146 Feb 21  2020 primitives.rb
-rw-r--r--   1 edrx edrx      5669 Jul 22 01:47 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       768 Jul 22 01:47 rubyforth.html
-rw-r--r--   1 edrx edrx      1213 Feb 21  2020 stack.rb
-rw-r--r--   1 edrx edrx      1713 Jul 22 01:47 stack.rb.html
drwxr-xr-x   2 edrx edrx      4096 Jul 22 01:47 tools/
-rw-r--r--   1 edrx edrx      1916 Feb 21  2020 vocabulary.rb
-rw-r--r--   1 edrx edrx      2417 Jul 22 01:47 vocabulary.rb.html