cmdversion         84 src/casl2.c        const char *cmdversion = "casl2 of YACASL2 version %s\n";
cmdversion        145 src/casl2.c                fprintf(stdout, cmdversion, version);
cmdversion         28 src/casl2rev.c     const char *cmdversion = "disassemble of YACASL2 version %s\n";
cmdversion         39 src/casl2rev.c             fprintf(stdout, cmdversion, version);
cmdversion         38 src/comet2.c       const char *cmdversion = "comet2 of YACASL2 version %s\n";
cmdversion         73 src/comet2.c               fprintf(stdout, cmdversion, version);
cmdversion         45 src/comet2monitor.c     const char *cmdversion = "comet2monitor: COMET II machine code monitor of YACASL2 version %s\n";
cmdversion         68 src/comet2monitor.c             fprintf(stdout, cmdversion, version);
cmdversion         31 src/dumpword.c     const char *cmdversion = "dumpword of YACASL2 version %s\n";
cmdversion         45 src/dumpword.c             fprintf(stdout, cmdversion, version);