Typesetting Type Inference Rules

The package mathpartir provides: See the package documentation (in HTML) for more information, its source file for an example, or just retrieve the package and try it out!

This package is now supported by by HEVEA. Here is an obsolete version for older versions of HEVEA that did not include it.

You may also retreive all files together as a compressed tar archive.

This package is distributed under the terms of the GNU General Public.

Answers to exercises (and its proof companion).

The package exercise provides two coupled environments exercise and answer for typesetting exercises and answers to exercises. The interest of the package is that answers are written to a file, instead of beeing inserted immediately, and can be reread to be included at the end of the document, for instance in an appendice. Of course, answers are numbered and reference back to the exercises. Moreover, when hyperref mode is loaded, exercises and anwers point to one another.

See the documentation and examples, or just retrieve the package and try it out.

This package also comes with a version for HEVEA, where in addition, each answer is preprared to be cut by hacha so as to go to a separate html file.

You may also retreive all files together as a compressed tar archive.

This package is distributed under the terms of the GNU General Public.

The package comes with a proof companion package

This package provides a proof environment that behaves as answers to exercises where the ``exercise'' is the previous theorem-like environment. See the self-documented example proof.tex.

You may also retreive the source file proof.sty. alone or all files together as a compressed tar archive.

Copy to file.

The package copytofile provides a simple mean to copy part of a latex source file to an auxiliary file. The package is a small subset of the exercise package than may be useful in itself. This package is still undocumented

You may only retreive the source file copytofile.sty.

This package is distributed under the terms of the GNU General Public.

Local labels.

The package locallabel provides macros to generate numeric references and refer to them by name, much as equation numbers, except that numbers and names can be reset at any time. One typical use is to refer to facts beeing establish during a proof until completion of the proof and be able to do so in the next proof without any clash of names of labels.

See the documentation and examples, or just retrieve the package and try it out.

This package also comes with a version for HEVEA.

You may also retreive all files together as a compressed tar archive.

This package is distributed under the terms of the GNU General Public.

Boolean expresssions.

The package boolean provides LaTeX with boolean expressions. See documentation and examples and retrieve the package.

You may also retreive all files together as a compressed tar archive.

Matching againts strings and \jobname.

The package ifjobname provides LaTeX with macros for pattern matching against \jobname and also against strings. See documentation and examples and retrieve the package.

You may also retreive all files together as a compressed tar archive.

Reversion: a (recursive) environment for versioning, hiding or reverting arbitrary parts of a LaTeX document.

The still experimental package reversion provides LaTeX an environment for versioning that can be used recursively. See documentation and examples (also available in PDF) and retrieve the package or all files together as a compressed tar archive.

Anchoring documents url into bibtex entries

The file plainnaturl.bst is a modified version of the plainnat.bst bibtex style file can be used in combination with the package biblabelurl.sty url fields are anchored to labels of the bibliography entries (or to some righ triangle symbol if entry has no label) instead of beeing inlined.

How I make slides.

I use my own package of xprosper.sty, written from the class prosper.cls belonging to the prosper distribution.

The prosper package should be used with the seminar documentclass (see the example below).

Demo file to be used as documentation to come soon... Meanwhile, you can look at these sample of slides and its source file. NOTE: you may have to use this version of semcolor.sty rather than the one of the distribution.

From inlined postscript to PDF via Hevea

This small self-documented example illustrates the use of Hevea to extract and translate non-PDF Postscript included latex source files into EPS or PDF stand-alone images that can be used in place of source code to produce PDF output. This works with either pdflatex or dvipdfm.

See also WhizzyTeX