Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP

This branch is 86 commits behind coq:trunk

Fetching latest commit…

Cannot retrieve the latest commit at this time

..
Failed to load latest commit information.
coqdoc
README.coq-tex
README.emacs
beautify-archive
check-translate
compat5.ml
compat5.mlp
compat5b.ml
compat5b.mlp
coq-font-lock.el
coq-inferior.el
coq-sl.sty
coq_makefile.ml
coq_tex.ml
coqc.ml
coqdep.ml
coqdep_common.ml
coqdep_common.mli
coqdep_lexer.mli
coqdep_lexer.mll
coqmktop.ml
coqwc.mll
coqworkmgr.ml
fake_ide.ml
gallina-db.el
gallina-syntax.el
gallina.el
gallina.ml
gallina_lexer.mll
mkwinapp.ml
ocamllibdep.mll
update-require

README.coq-tex

DESCRIPTION.

The coq-tex filter extracts Coq phrases embedded in LaTeX files,
evaluates them, and insert the outcome of the evaluation after each
phrase.

The filter is written in Perl, so you'll need Perl version 4 installed
on your machine.

USAGE. See the manual page (coq-tex.1).

AUTHOR. Jean-Christophe Filliatre (jcfillia@lip.ens-lyon.fr)
  from caml-tex of Xavier Leroy.
Something went wrong with that request. Please try again.