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