1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194
|
(Dis donc emacs, ceci est du -*-text-*- !)
LIST OF CHANGES
===============
version 1.41, 25/1/2019
=======================
o fixed compilation with OCaml 4.07 (getting rid of terminfo stuff
in the OCaml parser, which was not used by ocamlweb anyway)
version 1.40, 5/2/2018
======================
o fixed compilation with recent versions of OCaml
o ocamlweb.sty: no more use of macro \tt
o default character encoding is now utf8
o new option --encoding to specify a character encoding (e.g. latin1)
o new command line option -pdf to output PDF with pdflatex
version 1.39, 27/5/2015
=======================
o raw LaTeX with (*l ... *)
(patch from Judical Courant)
version 1.38, 9/5/2012
======================
o fixed encoding in HTML documentation
version 1.37, 4/11/2005
=======================
o fixed bug with page headers (now uses \pagestyle{headings})
version 1.36, 12/10/2004
========================
o adequacy to ocaml 3.08.1 parser
version 1.35, 23/8/2004
=======================
o port to ocaml 3.08
o symbol | now displayed in math mode; no use of package T1 anymore
o option --class-options to set the document class options
(defaults to `12pt')
o fixed cleaning of temporary files when exiting abnormally
version 1.34, 7/7/2003
======================
o fixed behavior on DOS end-of-line
version 1.33, 13/5/2003
=======================
o \penalty5000 instead of \nolinebreak in \ocweol (Ralf Treinen)
o new macros \ocwbegindcode and \ocwenddcode for code inside documentation
version 1.32, 22/1/2003
=======================
o code quotations in titles
o comments' indentation now conforms to source files
version 1.31, 3/6/2002
======================
o manuals now contains version number in filenames
o \nopagebreak in \ocweol
version 1.3, 6/2/2002
=====================
o a warning is issued whenever an ocamlyacc file is correctly parsed
by ocamlyacc but is not conformant to ocamlyacc manual (this is
about commas and semicolons)
o added targets "install-byte" and "dist-clean" in Makefile
version 1.2, 14/01/2002
=======================
o single-character identifiers now indexed
o port to ocaml 3.04 and adequacy to ocaml 3.04 parser
o fixed bugs in ocamlweb.sty (thanks to Ralf Treinen)
version 1.1, 20/09/2001
=======================
o fixed bug in module indexing
o make LaTeX output the name of the latex file being typeset
o better redirections of messages/errors from LaTeX/dvips/hevea
o LaTeX messages now displayed (with -dvi,-ps), unless -q
o big sections with (*S
o nicer pretty-print of [< and >]
version 1.0, 15/06/2001
=======================
o option --hevea-option to pass an option to hevea
o escaped dollar sign in comments / documentation
o fixed bug with yacc token 'error'
o adequacy to ocaml 3.01 parser
o options -dvi, -ps and -html to produce DVI, PS and HTML directly
o page style with headings (thanks to Ralf Treinen)
o insertion into LaTeX preamble with option -p and (*p
o macros \ocwbegincode and \ocwendcode before and after code pieces
(no more use of \codeline and \endcodeline)
version 0.9, 18/12/2000
=======================
o support for lex and yacc files (-impl option deprecated on these files)
o when not in WEB style, index is by pages by default
o noweb style is used if no sectioning command (*s at all
so that ocamlweb can be used naively as a pretty-printer
o option -latex-sects renamed into -noweb
o bytecode compilation if no ocamlopt available
o adequacy to ocaml 3.00 parser; labels are now indexed
o installation: $(BINDIR) and $(TEXDIR) created if they don't exist
o a comment in the LaTeX file now indicates that it is a generated
file and gives the command line
version 0.8, 02/06/2000
=======================
o configuration with autoconf (thanks to Luc MAZARDO)
o location (file + character) in error message for unterminated comments
o index entries are now discriminated by their types (value,
constructor, type, module, etc.)
o nicer quotes in identifiers
o pretty-printing of constants (hex, oct and bin integers, floats)
o option -s, --short (no titles for files)
o pretty-printing for == and !=
o pretty underscores in identifiers (by redefinition of \_)
version 0.7, 31/01/2000
=======================
o support of .mll and .mly files using the --impl option
(Christian Rinderknecht); but still no indexing for these files.
o fixed bugs in identifiers pretty-printing (Christian Rinderknecht)
o fixed bug of code indentation inside item-like environments
o renaming of \comment (resp. \endcomment) in \ocwcomment
(resp. \ocwendcomment) to avoid a clash with Hevea own macros
version 0.6, 21/10/99
=====================
o backtrack on the way to pretty-print comments (comments inside
code lines produced line breaks)
o many spaces inside code are printed as a single one (so that you
can justify in ASCII without an ugly result with LaTeX)
o unterminated ocamlweb comments (*i ... *i) now generate an error
message
version 0.5, 29/9/99
====================
o better result with hevea (a single line break between code lines, etc.)
o escape sequences ([...]) are no more active inside mathematics ($...$)
o bootstrap is now completed (make bootstrap)
o interfaces are no more inserted automatically before implementations
(patch from Franois Pottier)
version 0.4, 25/06/99
=====================
o better handling of spaces before sections (thanks to Franois Pottier)
o right-justified comments with (*r ... *)
o misinterpretation of -- in strings fixes
o better adequacy to caml tokens (and better pretty-printing)
o single letter identifiers are also printed using macros \ocwlowerid, etc.
o line breaks in strings are now correctly handled
o more single-letter type variables output as greek letters. other
type variables output as \ocwtv{id} which is customizable. An
additional option --no-greek to ocamlweb disables to use of greek
letters.
o option -q, --quiet
version 0.3, 17/06/99 (first official release)
=====================
o \ocwnl has been splitted into \ocweol and \ocwindent for better
code printing. a new corresponding function end_line has been
added into output.ml.
o \verb and \begin{verbatim} correctly handled during pretty-printing
o option --no-web becomes --latex-sects
o option --no-doc becomes --no-preamble
o better sorting and pretty-printing of index entries
o fixed bug in global index (interfaces were scanned after implementations
when registering locations)
o two different macros, \ocwlowerid and \ocwupperid, for capitalized and
uncapitalized identifiers
o the index now uses LaTeX labels and refs, where all the labels are of the
kind \label{filename:location}
version 0.26, 02/06/99
======================
o ocamlweb.sty: greatly improved by Claude March
o various command line options: --no-index, --no-web, --latex-option,
--impl, --intf, --tex
o two styles: WEB and LaTeX
o ocamlweb now uses the ocaml parser to extract definitions and uses
(the modules and classes language is not yet processed)
o better adequacy to the ocaml lexer when separating code and documentation
version 0.15, 18/5/99
=====================
o first release (only for a few number of users who asked for)
$Id$
|