home *** CD-ROM | disk | FTP | other *** search
/ Black Box 4 / BlackBox.cdr / proglang / isetl.arj / READ_ME.1ST < prev    next >
Encoding:
Text File  |  1989-10-05  |  1.2 KB  |  36 lines
  1. ISETL (Interactive SET Language) is a language based upon
  2. the language, SETL.  SETL is a language which has been
  3. used for rapid prototyping of large software systems.  ISETL
  4. was designed primarily as a teaching tool.  ISETL has been used  
  5. at several colleges and universities to help students learn
  6. mathematical concepts.  ISETL notation is similar to standard
  7. mathematical conventions.
  8.  
  9. To get started with ISETL, run off a hardcopy of TUTORIAL.TXT.
  10. This will provide an introduction to a few of the features of
  11. the language.
  12.  
  13. The following files should be in your working directory when 
  14. starting this tutorial.
  15.     ISETL.EXE    -- ISETL interpreter
  16.     MATH.STL     -- ISETL input file
  17.  
  18. The .LPR files which are distributed with the ISETL interpreter
  19. provide a complete description of the languages.  Instructive
  20. examples appear in the following book.
  21.  
  22. Baxter, Dubinsky & Levin, Teaching Discrete Mathematics with ISETL
  23. (Springer 1989).
  24.  
  25. You can record to a disk file a portion of an ISETL session.  For
  26. example, to start recording to a file with MS-DOS name my_file.txt on
  27. drive a type at the ISETL prompt
  28.  
  29.     !record a:my_file.txt
  30.  
  31. To turn recording off, type
  32.  
  33.     !record
  34.  
  35.  
  36.