data/proofgeneral-4.4.1~pre170114/.gitignore: assembler source, ASCII text data/proofgeneral-4.4.1~pre170114/.travis.yml: ASCII text, with very long lines data/proofgeneral-4.4.1~pre170114/AUTHORS: UTF-8 Unicode text data/proofgeneral-4.4.1~pre170114/BUGS: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/CHANGES: Lisp/Scheme program, UTF-8 Unicode text data/proofgeneral-4.4.1~pre170114/COMPATIBILITY: ASCII text data/proofgeneral-4.4.1~pre170114/COPYING: ASCII text data/proofgeneral-4.4.1~pre170114/FAQ.md: ASCII text data/proofgeneral-4.4.1~pre170114/INSTALL: ASCII text data/proofgeneral-4.4.1~pre170114/Makefile.devel: ASCII text data/proofgeneral-4.4.1~pre170114/Makefile.travis: ASCII text data/proofgeneral-4.4.1~pre170114/README.md: UTF-8 Unicode text data/proofgeneral-4.4.1~pre170114/REGISTER: ASCII text data/proofgeneral-4.4.1~pre170114/acl2/README: ASCII text data/proofgeneral-4.4.1~pre170114/acl2/acl2.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/acl2/example.acl2: ASCII text data/proofgeneral-4.4.1~pre170114/acl2/root2.acl2: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/bin/proofgeneral: POSIX shell script, ASCII text executable data/proofgeneral-4.4.1~pre170114/ccc/README: ISO-8859 text data/proofgeneral-4.4.1~pre170114/ccc/ccc.el: Lisp/Scheme program, ISO-8859 text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/AUTHORS: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/aux_files/headers.txt: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/auxiliary_files.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/feature_extraction.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/lemmas.txt: ASCII text, with very long lines data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/matlab_interaction.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/menus.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/save_lemmas.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/shortcuts.el: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/storage.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/views.txt: ASCII text, with very long lines, with no line terminators data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/coq/weka.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/doc/ml4pg.v: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/doc/ml4pg_manual.pdf: PDF document, version 1.4 data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/doc/src/images/algorithm1.png: PNG image data, 960 x 696, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/doc/src/images/algorithm2.png: PNG image data, 968 x 693, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/doc/src/images/clusters1.png: PNG image data, 1600 x 873, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/doc/src/images/clusters1pg.png: PNG image data, 1920 x 1080, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/doc/src/images/clusters2.png: PNG image data, 1600 x 873, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/doc/src/images/clusters2pg.png: PNG image data, 1920 x 1080, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/doc/src/images/export.png: PNG image data, 678 x 694, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/doc/src/images/fig1.png: PNG image data, 692 x 703, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/doc/src/images/fig1pg.png: PNG image data, 676 x 695, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/doc/src/images/fig2.png: PNG image data, 682 x 693, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/doc/src/images/fig3.png: PNG image data, 688 x 693, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/doc/src/images/fig4.png: PNG image data, 1594 x 761, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/doc/src/images/fig5.png: PNG image data, 1599 x 694, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/doc/src/images/frequencies.png: PNG image data, 762 x 694, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/doc/src/images/granularity.png: PNG image data, 762 x 692, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/doc/src/images/levels.png: PNG image data, 986 x 688, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/doc/src/images/ml_system1.png: PNG image data, 928 x 701, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/doc/src/images/ml_system2.png: PNG image data, 791 x 700, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/doc/src/ml4pg_manual.bib: BibTeX text file, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/doc/src/ml4pg_manual.pdf: PDF document, version 1.4 data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/doc/src/ml4pg_manual.tex: LaTeX 2e document, UTF-8 Unicode text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/icons/Clustering.png: PNG image data, 64 x 64, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/icons/Hint.png: PNG image data, 48 x 48, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/icons/clustering.xpm: X pixmap image, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/icons/sh-hint.xpm: X pixmap image, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/icons/sh-hint2.xpm: X pixmap image, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/icons/sh.xpm: X pixmap image, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/icons/sh1.xpm: X pixmap image, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/icons/test.xpm: X pixmap image, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/lemmas.txt: ASCII text, with very long lines data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/coq/test/peano.csv: CSV text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/coq/test/peano_names: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/advance/bigop.csv: CSV text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/advance/bigop_names: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/advance/bigop_tactics.csv: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/advance/binomial.csv: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/advance/binomial_names: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/advance/binomial_tactics.csv: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/advance/binomial_tree.csv: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/advance/matrix.csv: CSV text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/advance/matrix_names: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/advance/matrix_tactics.csv: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/advance/series.csv: CSV text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/advance/vector.csv: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/advance/vector_names: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/advance/vector_tactics.csv: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/advance/vector_tree.csv: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/basic/seq.csv: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/basic/seq_names: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/basic/seq_tactics.csv: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/basic/seq_tree.csv: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/basic/ssrbool.csv: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/basic/ssrbool_names: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/basic/ssrbool_tactics.csv: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/basic/ssrbool_tree.csv: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/basic/ssrnat.csv: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/basic/ssrnat_names: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/basic/ssrnat_tactics.csv: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/basic/ssrnat_tree.csv: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/coqeal/seqmatrix.csv: CSV text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/coqeal/seqmatrix_names: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/coqeal/seqmatrix_tactics.csv: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/jvm/available.txt: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/jvm/expt.csv: CSV text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/jvm/expt_names: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/jvm/expt_tactics.csv: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/jvm/factorial.csv: CSV text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/jvm/factorial_names: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/jvm/factorial_tactics.csv: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/jvm/fib.csv: CSV text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/jvm/fib_names: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/jvm/fib_tactics.csv: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/jvm/lessp.csv: CSV text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/jvm/lessp_names: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/jvm/lessp_tactics.csv: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/jvm/m1.csv: CSV text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/jvm/m1_names: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/jvm/m1_tactics.csv: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/jvm/multiplication.csv: CSV text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/jvm/multiplication_names: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/jvm/multiplication_tactics.csv: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/jvm/power.csv: CSV text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/jvm/power_names: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/libs/ssreflect/jvm/power_tactics.csv: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ml4pg.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/out.arff: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/out_bis.arff: CSV text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/auxiliary_files.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/feature_extraction_2.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/lemmas.txt: ASCII text, with very long lines data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/matlab_interaction.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/menus.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/save_lemmas.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/shortcuts.el: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/storage.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/views.txt: ASCII text, with very long lines, with no line terminators data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/ssreflect/weka.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/temp.csv: CSV text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/temp3.arff: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/views.txt: ASCII text, with very long lines, with no line terminators data/proofgeneral-4.4.1~pre170114/contrib/ML4PG/weka.jar: Java archive data (JAR) data/proofgeneral-4.4.1~pre170114/contrib/mmm/AUTHORS: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/mmm/COPYING: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/mmm/FAQ: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/mmm/INSTALL: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/mmm/NEWS: HTML document, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/mmm/README: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/mmm/README.mmm-for-ProofGeneral: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/mmm/TODO: ASCII text data/proofgeneral-4.4.1~pre170114/contrib/mmm/mmm-auto.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/mmm/mmm-class.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/mmm/mmm-cmds.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/mmm/mmm-compat.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/mmm/mmm-cweb.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/mmm/mmm-mason.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/mmm/mmm-mode.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/mmm/mmm-region.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/mmm/mmm-rpm.el: Lisp/Scheme program, ISO-8859 text data/proofgeneral-4.4.1~pre170114/contrib/mmm/mmm-sample.el: HTML document, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/mmm/mmm-univ.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/mmm/mmm-utils.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/mmm/mmm-vars.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/contrib/mmm/mmm.texinfo: TeX document, ISO-8859 text data/proofgeneral-4.4.1~pre170114/contrib/mmm/version.texi: DOS batch file, ASCII text data/proofgeneral-4.4.1~pre170114/coq/ML4PG/doc/src/images/algorithm1.png: PNG image data, 960 x 696, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/coq/ML4PG/doc/src/images/algorithm2.png: PNG image data, 968 x 693, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/coq/ML4PG/doc/src/images/clusters1.png: PNG image data, 1600 x 873, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/coq/ML4PG/doc/src/images/clusters1pg.png: PNG image data, 1920 x 1080, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/coq/ML4PG/doc/src/images/clusters2.png: PNG image data, 1600 x 873, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/coq/ML4PG/doc/src/images/clusters2pg.png: PNG image data, 1920 x 1080, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/coq/ML4PG/doc/src/images/export.png: PNG image data, 678 x 694, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/coq/ML4PG/doc/src/images/fig1.png: PNG image data, 692 x 703, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/coq/ML4PG/doc/src/images/fig1pg.png: PNG image data, 676 x 695, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/coq/ML4PG/doc/src/images/fig2.png: PNG image data, 682 x 693, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/coq/ML4PG/doc/src/images/fig3.png: PNG image data, 688 x 693, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/coq/ML4PG/doc/src/images/fig4.png: PNG image data, 1594 x 761, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/coq/ML4PG/doc/src/images/fig5.png: PNG image data, 1599 x 694, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/coq/ML4PG/doc/src/images/frequencies.png: PNG image data, 762 x 694, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/coq/ML4PG/doc/src/images/granularity.png: PNG image data, 762 x 692, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/coq/ML4PG/doc/src/images/levels.png: PNG image data, 986 x 688, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/coq/ML4PG/doc/src/images/ml_system1.png: PNG image data, 928 x 701, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/coq/ML4PG/doc/src/images/ml_system2.png: PNG image data, 791 x 700, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/coq/README: ASCII text data/proofgeneral-4.4.1~pre170114/coq/TODO: ASCII text data/proofgeneral-4.4.1~pre170114/coq/coq-abbrev.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/coq/coq-autotest.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/coq/coq-compile-common.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/coq/coq-db.el: Lisp/Scheme program, ISO-8859 text data/proofgeneral-4.4.1~pre170114/coq/coq-indent.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/coq/coq-local-vars.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/coq/coq-mmm.el: ASCII text data/proofgeneral-4.4.1~pre170114/coq/coq-par-compile.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/coq/coq-par-test.el: ASCII text data/proofgeneral-4.4.1~pre170114/coq/coq-seq-compile.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/coq/coq-smie.el: Lisp/Scheme program, UTF-8 Unicode text data/proofgeneral-4.4.1~pre170114/coq/coq-syntax.el: Lisp/Scheme program, UTF-8 Unicode text data/proofgeneral-4.4.1~pre170114/coq/coq-system.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/coq/coq-unicode-tokens.el: Lisp/Scheme program, UTF-8 Unicode text data/proofgeneral-4.4.1~pre170114/coq/coq.el: Lisp/Scheme program, UTF-8 Unicode text data/proofgeneral-4.4.1~pre170114/coq/ex-module.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/KnasterTarski.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/ex-ssreflect.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/example-utf8.v: UTF-8 Unicode text data/proofgeneral-4.4.1~pre170114/coq/ex/indent.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/mult1.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/mult2.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/mult3.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/README: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/add-load-path-unsupported/README: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/add-load-path-unsupported/a/a.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/add-load-path-unsupported/b/b.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/change-ancestor/.cvsignore: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/change-ancestor/README: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/change-ancestor/a.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/change-ancestor/b.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/multiple-files-multiple-dir/README: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/multiple-files-multiple-dir/a/a.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/multiple-files-multiple-dir/b/b1.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/multiple-files-multiple-dir/b/b2.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/multiple-files-multiple-dir/c/c.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/multiple-files-single-dir/.cvsignore: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/multiple-files-single-dir/README: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/multiple-files-single-dir/a.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/multiple-files-single-dir/b.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/multiple-files-single-dir/c.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/multiple-files-single-dir/d.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/multiple-files-single-dir/e.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/multiple-files-single-dir/f.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/require-string/README: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/require-string/a.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/require-string/b.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/retract-completely-asserted/.cvsignore: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/retract-completely-asserted/README: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/retract-completely-asserted/a.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/retract-completely-asserted/b.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/retract-completely-asserted/c.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/stale-load-path/README: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/stale-load-path/a/.cvsignore: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/stale-load-path/a/Le.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/stale-load-path/b/b.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/ex/test-cases/stale-load-path/c/c.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/example-tokens.v: UTF-8 Unicode text data/proofgeneral-4.4.1~pre170114/coq/example.v: ASCII text data/proofgeneral-4.4.1~pre170114/coq/faq: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/coq/coqtags: Perl script text executable data/proofgeneral-4.4.1~pre170114/doc/.gitignore: ASCII text data/proofgeneral-4.4.1~pre170114/doc/PG-adapting.texi: TeX document, ASCII text data/proofgeneral-4.4.1~pre170114/doc/ProofGeneral-image.jpg: JPEG image data, JFIF standard 1.01, resolution (DPCM), density 138x138, segment length 16, baseline, precision 8, 500x500, components 3 data/proofgeneral-4.4.1~pre170114/doc/README.documentation: ASCII text data/proofgeneral-4.4.1~pre170114/doc/dir: data data/proofgeneral-4.4.1~pre170114/doc/docstring-magic.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/doc/proofgen.css: ASCII text data/proofgeneral-4.4.1~pre170114/doc/proofgeneral.1: troff or preprocessor input, ASCII text data/proofgeneral-4.4.1~pre170114/doc/Makefile: ASCII text data/proofgeneral-4.4.1~pre170114/doc/ProofGeneral.texi: TeX document, UTF-8 Unicode text data/proofgeneral-4.4.1~pre170114/doc/Makefile.doc: makefile script, ASCII text data/proofgeneral-4.4.1~pre170114/etc/Dockerfile: ASCII text data/proofgeneral-4.4.1~pre170114/etc/ProofGeneral.desktop: ASCII text data/proofgeneral-4.4.1~pre170114/etc/ProofGeneral.menu: ASCII text data/proofgeneral-4.4.1~pre170114/etc/ProofGeneral.spec: ASCII text data/proofgeneral-4.4.1~pre170114/etc/README: ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/UndoFail.v: ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/bug-114.v: ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/bug-447.v: ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/coqdoc-egs.v: LaTeX document, ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/highlighterror.v: UTF-8 Unicode text data/proofgeneral-4.4.1~pre170114/etc/coq/indent.v: ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/lostmessages.v: ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/multiple-plain/README: ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/multiple-plain/a.v: ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/multiple-plain/b.v: ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/multiple-plain/c.v: ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/multiple/.cvsignore: ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/multiple/Makefile: makefile script, ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/multiple/README: ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/multiple/a.v: ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/multiple/b.v: ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/multiple/b1.v: ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/multiple/b2.v: ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/multiple/c.v: ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/multiple/d.v: ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/naming.v: ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/nested.v: ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/parsing.v: ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/parsingcheck-410.v: ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/parsingdot.v: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/queryreplace.v: ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/xemacs21528.v: ASCII text data/proofgeneral-4.4.1~pre170114/etc/coq/xsymboltest.v: ASCII text data/proofgeneral-4.4.1~pre170114/etc/cvs-tips.txt: ASCII text data/proofgeneral-4.4.1~pre170114/etc/demoisa/A.ML: ASCII text, with no line terminators data/proofgeneral-4.4.1~pre170114/etc/demoisa/B.ML: ASCII text, with no line terminators data/proofgeneral-4.4.1~pre170114/etc/demoisa/C.ML: ASCII text, with no line terminators data/proofgeneral-4.4.1~pre170114/etc/demoisa/D.ML: ASCII text, with no line terminators data/proofgeneral-4.4.1~pre170114/etc/demoisa/README: ASCII text data/proofgeneral-4.4.1~pre170114/etc/desktop/README: ASCII text data/proofgeneral-4.4.1~pre170114/etc/desktop/application-registry/proofgeneral.applications: ASCII text data/proofgeneral-4.4.1~pre170114/etc/desktop/icons/16x16/proofgeneral.png: PNG image data, 16 x 16, 8-bit colormap, non-interlaced data/proofgeneral-4.4.1~pre170114/etc/desktop/icons/32x32/proofgeneral.png: PNG image data, 32 x 32, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/etc/desktop/icons/48x48/proofgeneral.png: PNG image data, 48 x 48, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/etc/desktop/mime-info/proofgeneral.keys: ASCII text data/proofgeneral-4.4.1~pre170114/etc/desktop/mime-info/proofgeneral.mime: ASCII text data/proofgeneral-4.4.1~pre170114/etc/desktop/proofgeneral.desktop: ASCII text data/proofgeneral-4.4.1~pre170114/etc/development-tips.txt: ASCII text data/proofgeneral-4.4.1~pre170114/etc/emacsbugs/compose-char.txt: news or mail, ASCII text data/proofgeneral-4.4.1~pre170114/etc/emacsbugs/visiblity-attempt.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/etc/hol-light/example4.ml: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/AHundredProofs.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/AHundredTheorems.thy: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/AThousandComments.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/AThousandTheorems.thy: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/BackslashInStrings.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/BigErrors.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/BigErrorsNested.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/ChosenLogic.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/ChosenLogic2.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/CommentParsingBug.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/CommentParsingBug2.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/Depends.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/EmptyCommands.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/FaultyErrors.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/Fibonacci.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/HighlightSize.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/IllegalEscape.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/InterruptTest.thy.gz: gzip compressed data, last modified: Tue Jan 29 23:15:39 2008, from Unix, original size modulo 2^32 657022 data/proofgeneral-4.4.1~pre170114/etc/isar/MMMtests.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/MultipleModes.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/NamesInStrings.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/Parsing.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/ParsingBug1.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/Persistent.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/README: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/Sendback.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/TextProps.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/TokensAcid.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/Trac189.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/Trac280-subrev.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/Unicode.thy: UTF-8 Unicode text data/proofgeneral-4.4.1~pre170114/etc/isar/XEmacsSyntacticContextProb.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/XSymbolTests.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/bad1.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/bad2.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/multiple/A.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/multiple/B.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/multiple/C.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/multiple/D.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/multiple/E.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/multiple/README: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/nesting-too-deep-for-parser.txt: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/new-parsing-test.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/profiling.txt: ASCII text data/proofgeneral-4.4.1~pre170114/etc/isar/trace_simp.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/lego/GoalGoal.l: ASCII text data/proofgeneral-4.4.1~pre170114/etc/lego/error-eg.l: ASCII text data/proofgeneral-4.4.1~pre170114/etc/lego/lego-site.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/etc/lego/long-line-backslash.l: ASCII text, with very long lines data/proofgeneral-4.4.1~pre170114/etc/lego/multiple/A.l: ASCII text, with no line terminators data/proofgeneral-4.4.1~pre170114/etc/lego/multiple/B.l: ASCII text data/proofgeneral-4.4.1~pre170114/etc/lego/multiple/C.l: ASCII text, with no line terminators data/proofgeneral-4.4.1~pre170114/etc/lego/multiple/D.l: ASCII text, with no line terminators data/proofgeneral-4.4.1~pre170114/etc/lego/multiple/README: ASCII text data/proofgeneral-4.4.1~pre170114/etc/lego/pbp.l: ASCII text data/proofgeneral-4.4.1~pre170114/etc/lego/unsaved-goals.l: ASCII text data/proofgeneral-4.4.1~pre170114/etc/mmm-install: POSIX shell script, ASCII text executable data/proofgeneral-4.4.1~pre170114/etc/profiling.txt: ASCII text data/proofgeneral-4.4.1~pre170114/etc/proofgeneral-domain.txt: ISO-8859 text data/proofgeneral-4.4.1~pre170114/etc/proviola/README: ASCII text data/proofgeneral-4.4.1~pre170114/etc/proviola/movie-pp.rnc: ASCII text data/proofgeneral-4.4.1~pre170114/etc/proviola/movie.rnc: ASCII text data/proofgeneral-4.4.1~pre170114/etc/proviola/proviola-pp.xsl: XML 1.0 document, ASCII text data/proofgeneral-4.4.1~pre170114/etc/proviola/proviola-spp.xsl: XML 1.0 document, ASCII text data/proofgeneral-4.4.1~pre170114/etc/proviola/proviola.xsl: XML 1.0 document, ASCII text data/proofgeneral-4.4.1~pre170114/etc/testsuite/pg-pgip-test.el: ASCII text data/proofgeneral-4.4.1~pre170114/etc/testsuite/pg-test.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/etc/trac/README: ASCII text data/proofgeneral-4.4.1~pre170114/etc/trac/Trac140.v: ASCII text data/proofgeneral-4.4.1~pre170114/etc/trac/Trac345.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/trac/trac-200.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/trac/trac-206.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/trac/trac-296.v: ASCII text data/proofgeneral-4.4.1~pre170114/etc/trac/trac-307.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/trac/trac-345.thy: ASCII text data/proofgeneral-4.4.1~pre170114/etc/trac/trac-346.v: ASCII text data/proofgeneral-4.4.1~pre170114/etc/trac/trac109.v: ASCII text data/proofgeneral-4.4.1~pre170114/generic/README: ASCII text data/proofgeneral-4.4.1~pre170114/generic/pg-assoc.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/pg-autotest.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/pg-custom.el: ASCII text data/proofgeneral-4.4.1~pre170114/generic/pg-goals.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/pg-movie.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/pg-pamacs.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/pg-pbrpm.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/pg-pgip.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/pg-response.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/pg-user.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/pg-vars.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/pg-xml.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/proof-autoloads.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/proof-auxmodes.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/proof-config.el: ASCII text data/proofgeneral-4.4.1~pre170114/generic/proof-depends.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/proof-easy-config.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/proof-faces.el: ASCII text data/proofgeneral-4.4.1~pre170114/generic/proof-indent.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/proof-maths-menu.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/proof-menu.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/proof-mmm.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/proof-script.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/proof-shell.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/proof-splash.el: Lisp/Scheme program, UTF-8 Unicode text data/proofgeneral-4.4.1~pre170114/generic/proof-syntax.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/proof-toolbar.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/proof-tree.el: ASCII text data/proofgeneral-4.4.1~pre170114/generic/proof-unicode-tokens.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/proof-useropts.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/proof-utils.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/generic/proof.el: ASCII text data/proofgeneral-4.4.1~pre170114/generic/proof-site.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/LICENSE-HOL-LIGHT: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/README: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TODO: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/INSTRUCTIONS: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/LIMITATIONS: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/biolayout.ml: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/dltree.ml: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/dltree.mli: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/ex.dot: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/ex2.dot: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/ex3.dot: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/ex3.png: PNG image data, 251 x 1059, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/ex3b.dot: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/examples1.ml: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/examples1_output.txt: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/examples2.ml: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/examples3.ml: ASCII text, with very long lines data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/examples3_LEMMA1.dot: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/examples3_output.txt: ASCII text, with very long lines data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/examples4.ml: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/examples5.ml: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/gvexport.ml: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/hiproofs.ml: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/lib.ml: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/main.ml: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/mldata.ml: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/mlexport.ml: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/printutils.ml: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/promote.ml: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/prooftree.ml: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/tacticrec.ml: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/wrappers.ml: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/xtactics.ml: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/xthm.ml: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/example.ml: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/hol-light-autotest.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/hol-light-unicode-tokens.el: Lisp/Scheme program, UTF-8 Unicode text data/proofgeneral-4.4.1~pre170114/hol-light/hol-light.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/pg_prompt.ml: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/pg_tactics.ml: ASCII text data/proofgeneral-4.4.1~pre170114/hol-light/temp-prooftree-configure.patch: RCS/CVS diff output, ASCII text data/proofgeneral-4.4.1~pre170114/hol98/README: ASCII text data/proofgeneral-4.4.1~pre170114/hol98/example.sml: ASCII text data/proofgeneral-4.4.1~pre170114/hol98/hol98.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/hol98/root2.sml: ASCII text data/proofgeneral-4.4.1~pre170114/images/ProofGeneral-splash.png: PNG image data, 310 x 350, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/images/ProofGeneral.png: PNG image data, 727 x 821, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/images/README: UTF-8 Unicode text data/proofgeneral-4.4.1~pre170114/images/epg-abort.png: PNG image data, 24 x 24, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/images/epg-abort.xpm: X pixmap image, ASCII text data/proofgeneral-4.4.1~pre170114/images/epg-command.png: PNG image data, 24 x 24, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/images/epg-command.xpm: X pixmap image, ASCII text data/proofgeneral-4.4.1~pre170114/images/epg-context.png: PNG image data, 24 x 24, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/images/epg-context.xpm: X pixmap image, ASCII text data/proofgeneral-4.4.1~pre170114/images/epg-find.png: PNG image data, 24 x 24, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/images/epg-find.xpm: X pixmap image, ASCII text data/proofgeneral-4.4.1~pre170114/images/epg-goal.png: PNG image data, 24 x 24, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/images/epg-goal.xpm: X pixmap image, ASCII text data/proofgeneral-4.4.1~pre170114/images/epg-goto.png: PNG image data, 24 x 24, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/images/epg-goto.xpm: X pixmap image, ASCII text data/proofgeneral-4.4.1~pre170114/images/epg-help.png: PNG image data, 24 x 24, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/images/epg-help.xpm: X pixmap image, ASCII text data/proofgeneral-4.4.1~pre170114/images/epg-home.png: PNG image data, 24 x 24, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/images/epg-home.xpm: X pixmap image, ASCII text data/proofgeneral-4.4.1~pre170114/images/epg-info.png: PNG image data, 24 x 24, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/images/epg-info.xpm: X pixmap image, ASCII text data/proofgeneral-4.4.1~pre170114/images/epg-interrupt.png: PNG image data, 24 x 24, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/images/epg-interrupt.xpm: X pixmap image, ASCII text data/proofgeneral-4.4.1~pre170114/images/epg-next.png: PNG image data, 24 x 24, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/images/epg-next.xpm: X pixmap image, ASCII text data/proofgeneral-4.4.1~pre170114/images/epg-prooftree.png: PNG image data, 24 x 24, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/images/epg-prooftree.xpm: X pixmap image, ASCII text data/proofgeneral-4.4.1~pre170114/images/epg-qed.png: PNG image data, 24 x 24, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/images/epg-qed.xpm: X pixmap image, ASCII text data/proofgeneral-4.4.1~pre170114/images/epg-restart.png: PNG image data, 24 x 24, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/images/epg-restart.xpm: X pixmap image, ASCII text data/proofgeneral-4.4.1~pre170114/images/epg-retract.png: PNG image data, 24 x 24, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/images/epg-retract.xpm: X pixmap image, ASCII text data/proofgeneral-4.4.1~pre170114/images/epg-state.png: PNG image data, 24 x 24, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/images/epg-state.xpm: X pixmap image, ASCII text data/proofgeneral-4.4.1~pre170114/images/epg-undo.png: PNG image data, 24 x 24, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/images/epg-undo.xpm: X pixmap image, ASCII text data/proofgeneral-4.4.1~pre170114/images/epg-use.png: PNG image data, 24 x 24, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/images/epg-use.xpm: X pixmap image, ASCII text data/proofgeneral-4.4.1~pre170114/images/hiddenproof.xpm: X pixmap image, ASCII text data/proofgeneral-4.4.1~pre170114/isar/Example-Tokens.thy: ASCII text data/proofgeneral-4.4.1~pre170114/isar/Example.thy: ASCII text data/proofgeneral-4.4.1~pre170114/isar/README: ASCII text data/proofgeneral-4.4.1~pre170114/isar/ex/Knaster_Tarski.thy: ASCII text data/proofgeneral-4.4.1~pre170114/isar/ex/PER.thy: ASCII text data/proofgeneral-4.4.1~pre170114/isar/ex/README: ASCII text data/proofgeneral-4.4.1~pre170114/isar/ex/Sqrt.thy: ASCII text data/proofgeneral-4.4.1~pre170114/isar/ex/Sqrt_Script.thy: ASCII text data/proofgeneral-4.4.1~pre170114/isar/ex/Tarski.thy: UTF-8 Unicode text data/proofgeneral-4.4.1~pre170114/isar/interface: Bourne-Again shell script, ASCII text executable data/proofgeneral-4.4.1~pre170114/isar/interface-setup.el: ASCII text data/proofgeneral-4.4.1~pre170114/isar/isabelle-system.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/isar/isar-autotest.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/isar/isar-find-theorems.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/isar/isar-keywords.el: ASCII text data/proofgeneral-4.4.1~pre170114/isar/isar-mmm.el: ASCII text data/proofgeneral-4.4.1~pre170114/isar/isar-profiling.el: ASCII text data/proofgeneral-4.4.1~pre170114/isar/isar-syntax.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/isar/isar-unicode-tokens.el: Lisp/Scheme program, UTF-8 Unicode text data/proofgeneral-4.4.1~pre170114/isar/isar.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/isar/isartags: Perl script text executable data/proofgeneral-4.4.1~pre170114/lego/BUGS: ASCII text data/proofgeneral-4.4.1~pre170114/lego/README: ASCII text data/proofgeneral-4.4.1~pre170114/lego/example.l: ASCII text data/proofgeneral-4.4.1~pre170114/lego/example2.l: ASCII text, with no line terminators data/proofgeneral-4.4.1~pre170114/lego/lego-syntax.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/lego/lego.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/lego/legotags: Perl script text executable data/proofgeneral-4.4.1~pre170114/lego/root2.l: Mathematica 3.0 notebook data/proofgeneral-4.4.1~pre170114/lib/README: ASCII text data/proofgeneral-4.4.1~pre170114/lib/bufhist.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/lib/holes.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/lib/local-vars-list.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/lib/maths-menu.el: data data/proofgeneral-4.4.1~pre170114/lib/pg-dev.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/lib/pg-fontsets.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/lib/proof-compat.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/lib/scomint.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/lib/span.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/lib/texi-docstring-magic.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/lib/unicode-chars.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/lib/unicode-tokens.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/obsolete/demoisa/README: ASCII text data/proofgeneral-4.4.1~pre170114/obsolete/demoisa/demoisa-easy.el: ASCII text data/proofgeneral-4.4.1~pre170114/obsolete/demoisa/demoisa.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/obsolete/lclam/README: ASCII text data/proofgeneral-4.4.1~pre170114/obsolete/lclam/example.lcm: ASCII text data/proofgeneral-4.4.1~pre170114/obsolete/lclam/lclam.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/obsolete/plastic/README: ASCII text data/proofgeneral-4.4.1~pre170114/obsolete/plastic/plastic-syntax.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/obsolete/plastic/plastic.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/obsolete/plastic/test.lf: ASCII text data/proofgeneral-4.4.1~pre170114/pghaskell/pghaskell.el: ASCII text data/proofgeneral-4.4.1~pre170114/pgocaml/pgocaml.el: ASCII text data/proofgeneral-4.4.1~pre170114/pgshell/README: ASCII text data/proofgeneral-4.4.1~pre170114/pgshell/example.pgsh: ASCII text data/proofgeneral-4.4.1~pre170114/pgshell/pgshell.el: ASCII text data/proofgeneral-4.4.1~pre170114/phox/.cvsignore: ASCII text data/proofgeneral-4.4.1~pre170114/phox/README: ASCII text data/proofgeneral-4.4.1~pre170114/phox/README.pbrpm: ISO-8859 text data/proofgeneral-4.4.1~pre170114/phox/example.phx: ASCII text data/proofgeneral-4.4.1~pre170114/phox/phox-extraction.el: Lisp/Scheme program, ISO-8859 text data/proofgeneral-4.4.1~pre170114/phox/phox-font.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/phox/phox-fun.el: Lisp/Scheme program, ISO-8859 text data/proofgeneral-4.4.1~pre170114/phox/phox-lang.el: Lisp/Scheme program, ISO-8859 text data/proofgeneral-4.4.1~pre170114/phox/phox-outline.el: Lisp/Scheme program, ISO-8859 text data/proofgeneral-4.4.1~pre170114/phox/phox-pbrpm.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/phox/phox-sym-lock.el: Lisp/Scheme program, ISO-8859 text data/proofgeneral-4.4.1~pre170114/phox/phox-tags.el: Lisp/Scheme program, ISO-8859 text data/proofgeneral-4.4.1~pre170114/phox/phox.el: Lisp/Scheme program, ISO-8859 text data/proofgeneral-4.4.1~pre170114/phox/square-root-2.phx: LaTeX document, ISO-8859 text data/proofgeneral-4.4.1~pre170114/previous-art/doc/ProofGeneral-image.jpg: JPEG image data, JFIF standard 1.01, resolution (DPI), density 99x99, segment length 16, baseline, precision 8, 501x501, components 3 data/proofgeneral-4.4.1~pre170114/previous-art/etc/desktop/icons/16x16/proofgeneral.png: PNG image data, 16 x 16, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/previous-art/etc/desktop/icons/32x32/proofgeneral.png: PNG image data, 32 x 32, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/previous-art/etc/desktop/icons/48x48/proofgeneral.png: PNG image data, 48 x 48, 8-bit/color RGBA, non-interlaced data/proofgeneral-4.4.1~pre170114/previous-art/images/ProofGeneral-image.gif: GIF image data, version 89a, 158 x 183 data/proofgeneral-4.4.1~pre170114/previous-art/images/ProofGeneral-image.jpg: JPEG image data, JFIF standard 1.01, resolution (DPI), density 72x72, segment length 16, comment: "Created with The GIMP", baseline, precision 8, 180x238, components 3 data/proofgeneral-4.4.1~pre170114/previous-art/images/ProofGeneral-splash.png: PNG image data, 180 x 238, 8-bit/color RGB, non-interlaced data/proofgeneral-4.4.1~pre170114/twelf/README: ASCII text data/proofgeneral-4.4.1~pre170114/twelf/example.elf: ASCII text data/proofgeneral-4.4.1~pre170114/twelf/twelf-font.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/twelf/twelf-old.el: data data/proofgeneral-4.4.1~pre170114/twelf/twelf.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/debian/README.Debian: ASCII text data/proofgeneral-4.4.1~pre170114/debian/changelog: UTF-8 Unicode text data/proofgeneral-4.4.1~pre170114/debian/compat: ASCII text data/proofgeneral-4.4.1~pre170114/debian/control: ASCII text data/proofgeneral-4.4.1~pre170114/debian/copyright: ASCII text data/proofgeneral-4.4.1~pre170114/debian/docs: ASCII text data/proofgeneral-4.4.1~pre170114/debian/emacsen-install: POSIX shell script, ASCII text executable data/proofgeneral-4.4.1~pre170114/debian/emacsen-remove: POSIX shell script, ASCII text executable data/proofgeneral-4.4.1~pre170114/debian/emacsen-startup: ASCII text data/proofgeneral-4.4.1~pre170114/debian/patches/debian-specific-site-init.patch: unified diff output, ASCII text data/proofgeneral-4.4.1~pre170114/debian/patches/desktop-keyword-entry.patch: unified diff output, ASCII text data/proofgeneral-4.4.1~pre170114/debian/patches/dont-install-elc.patch: unified diff output, ASCII text data/proofgeneral-4.4.1~pre170114/debian/patches/dont-install-mmm-mode.patch: unified diff output, ASCII text data/proofgeneral-4.4.1~pre170114/debian/patches/fix-coqtags.patch: unified diff output, ASCII text data/proofgeneral-4.4.1~pre170114/debian/patches/fix-package-name-in-install-path.patch: unified diff output, ASCII text data/proofgeneral-4.4.1~pre170114/debian/patches/fix-texinfo-5-1-bug.patch: unified diff output, ASCII text data/proofgeneral-4.4.1~pre170114/debian/patches/install-examples.patch: unified diff output, ASCII text data/proofgeneral-4.4.1~pre170114/debian/patches/only-install-simplified-pg-script: unified diff output, ASCII text data/proofgeneral-4.4.1~pre170114/debian/patches/pg-image-bug.patch: unified diff output, ASCII text data/proofgeneral-4.4.1~pre170114/debian/patches/prepare-user-manual: unified diff output, ASCII text data/proofgeneral-4.4.1~pre170114/debian/patches/restrict-installed-provers.patch: unified diff output, ASCII text data/proofgeneral-4.4.1~pre170114/debian/patches/series: ASCII text data/proofgeneral-4.4.1~pre170114/debian/patches/smartly-enable-prooftree.patch: unified diff output, ASCII text data/proofgeneral-4.4.1~pre170114/debian/patches/transition_to_makeinfo.patch: unified diff output, ASCII text data/proofgeneral-4.4.1~pre170114/debian/patches/use-debian-pkg-add-load-path-item.patch: unified diff output, ASCII text data/proofgeneral-4.4.1~pre170114/debian/preinst: POSIX shell script, ASCII text executable data/proofgeneral-4.4.1~pre170114/debian/proofgeneral-doc.doc-base: ASCII text data/proofgeneral-4.4.1~pre170114/debian/proofgeneral-doc.docs: ASCII text data/proofgeneral-4.4.1~pre170114/debian/proofgeneral-doc.info: ASCII text data/proofgeneral-4.4.1~pre170114/debian/proofgeneral-doc.install: ASCII text data/proofgeneral-4.4.1~pre170114/debian/proofgeneral-shell-script: POSIX shell script, ASCII text executable data/proofgeneral-4.4.1~pre170114/debian/proofgeneral.1: troff or preprocessor input, ASCII text data/proofgeneral-4.4.1~pre170114/debian/proofgeneral.emacsen-compat: ASCII text data/proofgeneral-4.4.1~pre170114/debian/proofgeneral.install: ASCII text data/proofgeneral-4.4.1~pre170114/debian/proofgeneral.manpages: ASCII text data/proofgeneral-4.4.1~pre170114/debian/rules: a /usr/bin/make -f script, ASCII text executable data/proofgeneral-4.4.1~pre170114/debian/source/format: ASCII text data/proofgeneral-4.4.1~pre170114/debian/watch: ASCII text data/proofgeneral-4.4.1~pre170114/.pc/.version: ASCII text data/proofgeneral-4.4.1~pre170114/.pc/.quilt_patches: ASCII text data/proofgeneral-4.4.1~pre170114/.pc/.quilt_series: ASCII text data/proofgeneral-4.4.1~pre170114/.pc/applied-patches: ASCII text data/proofgeneral-4.4.1~pre170114/.pc/restrict-installed-provers.patch/Makefile: Lisp/Scheme program, UTF-8 Unicode text, with very long lines data/proofgeneral-4.4.1~pre170114/.pc/restrict-installed-provers.patch/generic/proof-site.el: Lisp/Scheme program, ASCII text data/proofgeneral-4.4.1~pre170114/.pc/dont-install-mmm-mode.patch/Makefile: Lisp/Scheme program, UTF-8 Unicode text, with very long lines data/proofgeneral-4.4.1~pre170114/.pc/fix-package-name-in-install-path.patch/Makefile: Lisp/Scheme program, UTF-8 Unicode text, with very long lines data/proofgeneral-4.4.1~pre170114/.pc/dont-install-elc.patch/Makefile: Lisp/Scheme program, UTF-8 Unicode text, with very long lines data/proofgeneral-4.4.1~pre170114/.pc/only-install-simplified-pg-script/Makefile: Lisp/Scheme program, UTF-8 Unicode text, with very long lines data/proofgeneral-4.4.1~pre170114/.pc/debian-specific-site-init.patch/Makefile: Lisp/Scheme program, UTF-8 Unicode text, with very long lines data/proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/Makefile: Lisp/Scheme program, UTF-8 Unicode text, with very long lines data/proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/doc/Makefile: ASCII text data/proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/doc/ProofGeneral.texi: TeX document, UTF-8 Unicode text data/proofgeneral-4.4.1~pre170114/.pc/install-examples.patch/Makefile: Lisp/Scheme program, UTF-8 Unicode text, with very long lines data/proofgeneral-4.4.1~pre170114/.pc/transition_to_makeinfo.patch/doc/Makefile.doc: makefile script, ASCII text data/proofgeneral-4.4.1~pre170114/.pc/fix-coqtags.patch/coq/coqtags: Perl script text executable data/proofgeneral-4.4.1~pre170114/.pc/desktop-keyword-entry.patch/etc/desktop/proofgeneral.desktop: ASCII text data/proofgeneral-4.4.1~pre170114/Makefile: Lisp/Scheme program, UTF-8 Unicode text, with very long lines