===========================================================
                                      .___ __  __   
          _________________  __ __  __| _/|__|/  |_ 
         / ___\_` __ \__  \ |  |  \/ __ | | \\_  __\
        / /_/  >  | \// __ \|  |  / /_/ | |  ||  |  
        \___  /|__|  (____  /____/\____ | |__||__|  
       /_____/            \/           \/           
              grep rough audit - static analysis tool
                  v2.8 written by @Wireghoul
=================================[justanotherhacker.com]===
proofgeneral-4.4.1~pre170114/Makefile.devel-200-test.%:
proofgeneral-4.4.1~pre170114/Makefile.devel:201:	if [ -f "$*/$*-autotest.el" ]; then if $(EMACS) $(EMACSFLAGS) -l generic/proof-site.el $*/$*-autotest.el -f eval-current-buffer; then echo "Autotests for $* run successfully on `date`"; else cat $*/.autotest.log; echo "Autotests for $* ran with failures on `date`"; exit 1; fi; fi
proofgeneral-4.4.1~pre170114/Makefile.devel-202-
proofgeneral-4.4.1~pre170114/Makefile.devel-203-profile.%:
proofgeneral-4.4.1~pre170114/Makefile.devel:204:	if [ -f "$*/$*-profiling.el" ]; then if $(EMACS) $(EMACSFLAGS) -l generic/proof-site.el $*/$*-profiling.el -f eval-current-buffer; then echo "Profiling for $* run successfully on `date`"; else echo "Profiling for $* ran with failures on `date`"; exit 1; fi; cat $*/.profile.log; fi
proofgeneral-4.4.1~pre170114/Makefile.devel-205-
##############################################
proofgeneral-4.4.1~pre170114/bin/proofgeneral-24-
proofgeneral-4.4.1~pre170114/bin/proofgeneral:25:NAME=`basename $0`
proofgeneral-4.4.1~pre170114/bin/proofgeneral-26-
##############################################
proofgeneral-4.4.1~pre170114/bin/proofgeneral-65-    --version|-v) 
proofgeneral-4.4.1~pre170114/bin/proofgeneral:66:	VERSION=`grep proof-general-version $PGHOME/generic/proof-site.el | head -1 | sed -e 's/.*Version //g' | sed -e 's/\. .*//g'`
proofgeneral-4.4.1~pre170114/bin/proofgeneral-67-	echo "$NAME" "--- script to launch Proof General $VERSION"
##############################################
proofgeneral-4.4.1~pre170114/bin/proofgeneral-76-    # default relative to this script, otherwise PGHOMEDEFAULT
proofgeneral-4.4.1~pre170114/bin/proofgeneral:77:    MYDIR="`readlink --canonicalize "$0" | sed -ne 's,/bin/proofgeneral$,,p'`"
proofgeneral-4.4.1~pre170114/bin/proofgeneral-78-    if [ -d "$MYDIR/generic" ]; then
##############################################
proofgeneral-4.4.1~pre170114/coq/coq.el-1309-      ;; Show iff show non nil and some proof is under way
proofgeneral-4.4.1~pre170114/coq/coq.el:1310:      (when (and show (not (null (caddr (coq-last-prompt-info-safe)))))
proofgeneral-4.4.1~pre170114/coq/coq.el-1311-        (proof-shell-invisible-command (format "Show.") t nil 'no-error-display)))))
##############################################
proofgeneral-4.4.1~pre170114/coq/coqtags-28-        while($d>0 && $a=~/\(\*|\*\)/)
proofgeneral-4.4.1~pre170114/coq/coqtags:29:        { $a=$'; $cp+=2+length $`; $lp+=(($wombat=$`)=~tr/\n/\n/);
proofgeneral-4.4.1~pre170114/coq/coqtags-30-          if($& eq "(*") {$d++} else {$d--};
##############################################
proofgeneral-4.4.1~pre170114/etc/ProofGeneral.spec-51-# Rename READMEs in subdirs to avoid clashes
proofgeneral-4.4.1~pre170114/etc/ProofGeneral.spec:52:for f in */README; do mv $f $f.`dirname $f`; done
proofgeneral-4.4.1~pre170114/etc/ProofGeneral.spec-53-
##############################################
proofgeneral-4.4.1~pre170114/etc/coq/multiple/Makefile-101-all.ps: $(VFILES)
proofgeneral-4.4.1~pre170114/etc/coq/multiple/Makefile:102:	$(COQDOC) -ps -o $@ `$(COQDEP) -sort -suffix .v $(VFILES)`
proofgeneral-4.4.1~pre170114/etc/coq/multiple/Makefile-103-
proofgeneral-4.4.1~pre170114/etc/coq/multiple/Makefile-104-all-gal.ps: $(VFILES)
proofgeneral-4.4.1~pre170114/etc/coq/multiple/Makefile:105:	$(COQDOC) -ps -g -o $@ `$(COQDEP) -sort -suffix .v $(VFILES)`
proofgeneral-4.4.1~pre170114/etc/coq/multiple/Makefile-106-
##############################################
proofgeneral-4.4.1~pre170114/etc/coq/multiple/Makefile-153-install:
proofgeneral-4.4.1~pre170114/etc/coq/multiple/Makefile:154:	mkdir -p `$(COQC) -where`/user-contrib
proofgeneral-4.4.1~pre170114/etc/coq/multiple/Makefile:155:	cp -f *.vo `$(COQC) -where`/user-contrib
proofgeneral-4.4.1~pre170114/etc/coq/multiple/Makefile-156-
##############################################
proofgeneral-4.4.1~pre170114/etc/isar/Trac280-subrev.thy-6-proof - 
proofgeneral-4.4.1~pre170114/etc/isar/Trac280-subrev.thy:7:  from asm obtain "P\<^isub>i" and "Q\<^isub>i"
proofgeneral-4.4.1~pre170114/etc/isar/Trac280-subrev.thy-8-    by blast
##############################################
proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/xtactics.ml-288-
proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/xtactics.ml:289:let (xASM :(xthm list -> xtactic)->(xthm list -> xtactic)) =
proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/xtactics.ml-290-  fun tltac ths
##############################################
proofgeneral-4.4.1~pre170114/images/epg-info.xpm-127-"          Q R S r : T U V W X Y Z R Q           ",
proofgeneral-4.4.1~pre170114/images/epg-info.xpm:128:"            `  ...+.@.#.#.@.$.%. .`             ",
proofgeneral-4.4.1~pre170114/images/epg-info.xpm-129-"              . &.*.=.-.-.=.*.&..               ",
##############################################
proofgeneral-4.4.1~pre170114/isar/isartags-31-        while($d>0 && $a=~/\(\*|\*\)/)
proofgeneral-4.4.1~pre170114/isar/isartags:32:        { $a=$'; $cp+=2+length $`; $lp+=(($wombat=$`)=~tr/\n/\n/);
proofgeneral-4.4.1~pre170114/isar/isartags-33-          if($& eq "(*") {$d++} else {$d--};
##############################################
proofgeneral-4.4.1~pre170114/lego/legotags-28-        while($d>0 && $a=~/\(\*|\*\)/)
proofgeneral-4.4.1~pre170114/lego/legotags:29:        { $a=$'; $cp+=2+length $`; $lp+=(($wombat=$`)=~tr/\n/\n/);
proofgeneral-4.4.1~pre170114/lego/legotags-30-          if($& eq "(*") {$d++} else {$d--};
##############################################
proofgeneral-4.4.1~pre170114/debian/emacsen-install-21-
proofgeneral-4.4.1~pre170114/debian/emacsen-install:22:#FLAVORTEST=`echo $FLAVOR | cut -c-6`
proofgeneral-4.4.1~pre170114/debian/emacsen-install-23-#if [ ${FLAVORTEST} = xemacs ] ; then
##############################################
proofgeneral-4.4.1~pre170114/debian/emacsen-install-38-    cd ${ELDIR}
proofgeneral-4.4.1~pre170114/debian/emacsen-install:39:    FILES=`echo ${d}/*el`
proofgeneral-4.4.1~pre170114/debian/emacsen-install-40-    ALLFILES="${ALLFILES} ${FILES}"
##############################################
proofgeneral-4.4.1~pre170114/.pc/restrict-installed-provers.patch/Makefile-64-ERROR_ON_WARN = nil
proofgeneral-4.4.1~pre170114/.pc/restrict-installed-provers.patch/Makefile:65:BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (expand-file-name (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn $(ERROR_ON_WARN)))' -f batch-byte-compile
proofgeneral-4.4.1~pre170114/.pc/restrict-installed-provers.patch/Makefile-66-EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done)
##############################################
proofgeneral-4.4.1~pre170114/.pc/restrict-installed-provers.patch/Makefile-224-	for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done
proofgeneral-4.4.1~pre170114/.pc/restrict-installed-provers.patch/Makefile:225:	for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done
proofgeneral-4.4.1~pre170114/.pc/restrict-installed-provers.patch/Makefile-226-
##############################################
proofgeneral-4.4.1~pre170114/.pc/dont-install-mmm-mode.patch/Makefile-64-ERROR_ON_WARN = nil
proofgeneral-4.4.1~pre170114/.pc/dont-install-mmm-mode.patch/Makefile:65:BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (expand-file-name (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn $(ERROR_ON_WARN)))' -f batch-byte-compile
proofgeneral-4.4.1~pre170114/.pc/dont-install-mmm-mode.patch/Makefile-66-EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done)
##############################################
proofgeneral-4.4.1~pre170114/.pc/dont-install-mmm-mode.patch/Makefile-224-	for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done
proofgeneral-4.4.1~pre170114/.pc/dont-install-mmm-mode.patch/Makefile:225:	for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done
proofgeneral-4.4.1~pre170114/.pc/dont-install-mmm-mode.patch/Makefile-226-
##############################################
proofgeneral-4.4.1~pre170114/.pc/fix-package-name-in-install-path.patch/Makefile-64-ERROR_ON_WARN = nil
proofgeneral-4.4.1~pre170114/.pc/fix-package-name-in-install-path.patch/Makefile:65:BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (expand-file-name (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn $(ERROR_ON_WARN)))' -f batch-byte-compile
proofgeneral-4.4.1~pre170114/.pc/fix-package-name-in-install-path.patch/Makefile-66-EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done)
##############################################
proofgeneral-4.4.1~pre170114/.pc/fix-package-name-in-install-path.patch/Makefile-224-	for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done
proofgeneral-4.4.1~pre170114/.pc/fix-package-name-in-install-path.patch/Makefile:225:	for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done
proofgeneral-4.4.1~pre170114/.pc/fix-package-name-in-install-path.patch/Makefile-226-
##############################################
proofgeneral-4.4.1~pre170114/.pc/dont-install-elc.patch/Makefile-64-ERROR_ON_WARN = nil
proofgeneral-4.4.1~pre170114/.pc/dont-install-elc.patch/Makefile:65:BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (expand-file-name (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn $(ERROR_ON_WARN)))' -f batch-byte-compile
proofgeneral-4.4.1~pre170114/.pc/dont-install-elc.patch/Makefile-66-EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done)
##############################################
proofgeneral-4.4.1~pre170114/.pc/dont-install-elc.patch/Makefile-224-	for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done
proofgeneral-4.4.1~pre170114/.pc/dont-install-elc.patch/Makefile:225:	for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done
proofgeneral-4.4.1~pre170114/.pc/dont-install-elc.patch/Makefile-226-
##############################################
proofgeneral-4.4.1~pre170114/.pc/only-install-simplified-pg-script/Makefile-64-ERROR_ON_WARN = nil
proofgeneral-4.4.1~pre170114/.pc/only-install-simplified-pg-script/Makefile:65:BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (expand-file-name (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn $(ERROR_ON_WARN)))' -f batch-byte-compile
proofgeneral-4.4.1~pre170114/.pc/only-install-simplified-pg-script/Makefile-66-EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done)
##############################################
proofgeneral-4.4.1~pre170114/.pc/only-install-simplified-pg-script/Makefile-224-	for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done
proofgeneral-4.4.1~pre170114/.pc/only-install-simplified-pg-script/Makefile:225:	for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done
proofgeneral-4.4.1~pre170114/.pc/only-install-simplified-pg-script/Makefile-226-
##############################################
proofgeneral-4.4.1~pre170114/.pc/debian-specific-site-init.patch/Makefile-64-ERROR_ON_WARN = nil
proofgeneral-4.4.1~pre170114/.pc/debian-specific-site-init.patch/Makefile:65:BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (expand-file-name (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn $(ERROR_ON_WARN)))' -f batch-byte-compile
proofgeneral-4.4.1~pre170114/.pc/debian-specific-site-init.patch/Makefile-66-EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done)
##############################################
proofgeneral-4.4.1~pre170114/.pc/debian-specific-site-init.patch/Makefile-226-	for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done
proofgeneral-4.4.1~pre170114/.pc/debian-specific-site-init.patch/Makefile:227:	for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done
proofgeneral-4.4.1~pre170114/.pc/debian-specific-site-init.patch/Makefile-228-
##############################################
proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/Makefile-64-ERROR_ON_WARN = nil
proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/Makefile:65:BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (expand-file-name (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn $(ERROR_ON_WARN)))' -f batch-byte-compile
proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/Makefile-66-EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done)
##############################################
proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/Makefile-226-	for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done
proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/Makefile:227:	for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done
proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/Makefile-228-
##############################################
proofgeneral-4.4.1~pre170114/.pc/install-examples.patch/Makefile-64-ERROR_ON_WARN = nil
proofgeneral-4.4.1~pre170114/.pc/install-examples.patch/Makefile:65:BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (expand-file-name (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn $(ERROR_ON_WARN)))' -f batch-byte-compile
proofgeneral-4.4.1~pre170114/.pc/install-examples.patch/Makefile-66-EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done)
##############################################
proofgeneral-4.4.1~pre170114/.pc/install-examples.patch/Makefile-226-	for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done
proofgeneral-4.4.1~pre170114/.pc/install-examples.patch/Makefile:227:	for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done
proofgeneral-4.4.1~pre170114/.pc/install-examples.patch/Makefile-228-
##############################################
proofgeneral-4.4.1~pre170114/.pc/fix-coqtags.patch/coq/coqtags-28-        while($d>0 && $a=~/\(\*|\*\)/)
proofgeneral-4.4.1~pre170114/.pc/fix-coqtags.patch/coq/coqtags:29:        { $a=$'; $cp+=2+length $`; $lp+=(($wombat=$`)=~tr/\n/\n/);
proofgeneral-4.4.1~pre170114/.pc/fix-coqtags.patch/coq/coqtags-30-          if($& eq "(*") {$d++} else {$d--};
##############################################
proofgeneral-4.4.1~pre170114/Makefile-64-ERROR_ON_WARN = nil
proofgeneral-4.4.1~pre170114/Makefile:65:BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (expand-file-name (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn $(ERROR_ON_WARN)))' -f batch-byte-compile
proofgeneral-4.4.1~pre170114/Makefile-66-EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done)
##############################################
proofgeneral-4.4.1~pre170114/Makefile-229-	for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done
proofgeneral-4.4.1~pre170114/Makefile:230:	for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done
proofgeneral-4.4.1~pre170114/Makefile-231-