While most businesses use Windows-based applications, some entrepreneurs still use legacy DOS-based programs that they find useful. Whether it's because the application is no longer being developed or ...

For a general discussion of ACL2 input/output and of the ACL2 read-eval-print loop, see io and see ld (respectively). Here we use an example to illustrate how to use some of the options provided by ld ...