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