<br />
<b>Deprecated</b>:  The each() function is deprecated. This message will be suppressed on further calls in <b>/home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php</b> on line <b>456</b><br />
(Dis donc emacs, ceci est du -*-text-*- !)

		      LIST OF CHANGES
		      ===============

version 0.61, 8/2/2002
======================
  o clean up in INSTALL and Makefile.in; configure.in exported

version 0.6, 18/1/2002
======================
  o shorter label names to avoid "TeX capacity exceeded"

version 0.5, 16/7/2001
======================
  o option --hevea-option to pass an option to hevea
  o options -dvi, -ps and -html to produce DVI, PS and HTML directly

version 0.4, 20/04/2001
=======================
  o fixed bug in indexing (space expected after keywords)

version 0.3, 26/01/2001
=======================
  o when not in WEB style, index uses page numbers
  o automatic switch to noweb mode when no (*s is encountered
  o fixed bug in index pages when in noweb mode
  o page style with headings
  o indexing of identifiers in Variable declarations and Axioms
  o insertion into LaTeX preamble with option -p and (*p
  o files with suffix .g (Gallina) are treated as vernacular files

version 0.2, 24/01/2001
=======================
  o macros \coqwbeginvernac and \coqwendvernac before and after vernacular
  o fixed bug in indexation

version 0.1, 18/10/2000
=======================
  o first release (only for a few number of users who asked for)

$Id: CHANGES,v 1.15 2002/02/08 09:52:14 filliatr Exp $