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