cmdversion         84 src/casl2.c        const char *cmdversion = "casl2 of YACASL2 version %s\n";
cmdversion        141 src/casl2.c                fprintf(stdout, cmdversion, version);
cmdversion         27 src/casl2rev.c     const char *cmdversion = "disassemble of YACASL2 version %s\n";
cmdversion         38 src/casl2rev.c             fprintf(stdout, cmdversion, version);
cmdversion         37 src/comet2.c       const char *cmdversion = "comet2 of YACASL2 version %s\n";
cmdversion         68 src/comet2.c               fprintf(stdout, cmdversion, version);
cmdversion         43 src/comet2monitor.c     const char *cmdversion = "comet2monitor: COMET II machine code monitor of YACASL2 version %s\n";
cmdversion         62 src/comet2monitor.c             fprintf(stdout, cmdversion, version);
cmdversion         30 src/dumpword.c     const char *cmdversion = "dumpword of YACASL2 version %s\n";
cmdversion         44 src/dumpword.c             fprintf(stdout, cmdversion, version);