aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/cerrors.mli
Commit message (Expand)AuthorAge
* Updating headers.Gravatar herbelin2012-08-08
* Added an indirection with respect to Loc in Compat. As many [open Compat]Gravatar ppedrot2012-06-22
* remove many excessive open Util & Errors in mli'sGravatar letouzey2012-05-29
* Noise for nothingGravatar pboutill2012-03-02
* More work on error handlingGravatar letouzey2011-05-17
* Repair the "Fail" command after recent changes in exception handlingGravatar letouzey2011-05-16
* A new mechanism to handle errors.Gravatar aspiwack2011-05-13
* Fixing bugs #2347 (part 2) and #2388: error message printing was doneGravatar herbelin2010-09-18
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* New script dev/tools/change-header to automatically update Coq files headers.Gravatar herbelin2010-06-22
* Fail: a way to check that a command is refused without blocking a scriptGravatar letouzey2010-04-30
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Move from ocamlweb to ocamdoc to generate mli documentationGravatar pboutill2010-04-29
* Nouvelle en-têteGravatar herbelin2004-07-16
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* Changé le nom du module Errors (errors.mli, errors.ml) en Cerrors parceGravatar ddr2002-02-20