Platform(s) and requirements

The complete (uncompiled) Infix extenision to the standard ACL2 UNIX distribution, is on the order of 8MB.

Platform   Version       Requirements    
Windows/NT   Untried. Since we use FLEX and BISON, this should be considered highly experimental.
Macintosh   Untried, as above.
Unix 8MB disk
  (sources + tests + books)
Only tested with GCL. Should work with other Common Lisp dialects, e.g. Allegro, Lispworks, or Lucid.
Network    

This page is URL http://www.computationallogic.com/software/caeti/infix/platform.html