GitHub - vbgl/math-classes at 89d0b4efd4c607ab1e29ce50b8b23479006df8dc

vbgl / math-classes Public

forked from coq-community/math-classes

Notifications You must be signed in to change notification settings
Fork 0
Star 0

A library of abstract interfaces for mathematical structures in Coq.

math-classes.github.io/

View license

0 stars 43 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
.gitignore		.gitignore
README.txt		README.txt
alg.bib		alg.bib
compile.sh		compile.sh
coq2tex.tex		coq2tex.tex
jar.tex		jar.tex
processed.tex		processed.tex
roughdiamond.tex		roughdiamond.tex

Repository files navigation

We use lhs2TeX [1] for the preparation of our paper. lhs2TeX is a preprocessor which takes 
almost-TeX as input and produces TeX as output.

See compile.sh for how we invoke lhs2TeX and pdflatex.

As you can see, processed.tex is the result of running lhs2TeX on our hand-crafted almost-TeX 
(paper.tex). It, together with
  - abstract.ltx
  - macros.sty
  - paper.bib
  - llncs.cls
  - splncs.bst
, are compiled by pdflatex to produce the final pdf (paper.pdf).

We provide paper.tex so that, should there be a problem with processed.tex, the latter can be 
regenerated from paper.tex using lhs2TeX.

The version of lhs2TeX we used is 1.13, but it should not matter, because processed.tex should 
not depend on lhs2TeX in any way.

[1] http://people.cs.uu.nl/andres/lhs2tex/