index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
toplevel
/
toplevel.ml
Commit message (
Expand
)
Author
Age
*
still some more dead code removal
letouzey
2012-10-06
*
Moved Compat to parsing. This permits to break the dependency of the
ppedrot
2012-10-04
*
Partial revert of Yann commit in order to use CLib.List when opening
ppedrot
2012-09-14
*
This patch removes unused "open" (automatically generated from
regisgia
2012-09-14
*
Updating headers.
herbelin
2012-08-08
*
A new status Unsafe in Interface. Meant for commands such as Admitted.
aspiwack
2012-07-12
*
Fixing camlp4 compilation w.r.t previous commit
ppedrot
2012-06-22
*
Added an indirection with respect to Loc in Compat. As many [open Compat]
ppedrot
2012-06-22
*
Getting rid of Pp.msgnl and Pp.message.
ppedrot
2012-06-01
*
Vernacexpr is now a mli-only file, locality stuff now in locality.ml
letouzey
2012-05-29
*
A unified backtrack mechanism, with a basic "Show Script" as side-effect
letouzey
2012-03-23
*
Noise for nothing
pboutill
2012-03-02
*
Made the emacs-U option deprecated. Also removed the old code
courtieu
2011-05-24
*
A new mechanism to handle errors.
aspiwack
2011-05-13
*
Fixing a bug introduced in r12304 (move of interpretation of
herbelin
2010-12-02
*
Updated all headers for 8.3 and trunk
herbelin
2010-07-24
*
More indirection.
vgross
2010-05-31
*
Add (almost) compatibility with camlp4, without breaking support for camlp5
letouzey
2010-05-19
*
Nicer representation of tokens, more independant of camlp*
letouzey
2010-05-19
*
Remove the svn-specific $Id$ annotations
letouzey
2010-04-29
*
Improving error messages in the presence of utf-8 characters
herbelin
2010-03-30
*
Migration of ProtectedToplevel and Line_oriented_parser into new contrib Inte...
letouzey
2009-12-08
*
New cleaning phase of the Local/Global option management
herbelin
2009-10-26
*
Revert "kills the old backtracking framework and replaces it with"
vgross
2009-10-05
*
kills the old backtracking framework and replaces it with
vgross
2009-09-29
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
Fixed compilation error message which was no longer emacs-compliant since
herbelin
2009-09-15
*
- Backport of 12053 (fixing parsing segfault bug #2087) and 12058 (fixing
herbelin
2009-04-08
*
Fixing/improving management of uniform prefix Local and Global
herbelin
2009-01-14
*
eviter redondance du message d'erreur (Error while reading / File)
barras
2008-08-07
*
(Partial) fix for bug #1892, adding a missing newline.
msozeau
2008-06-27
*
- Prise en compte de l'unicode dans la fonction hdchar (elle fournissait des
herbelin
2008-05-10
*
More emacs-friendly error messages.
glondu
2008-05-05
*
Plus de combinateurs sont passés de Util à Option. Le module Options
aspiwack
2007-12-06
*
Factorisation des opérations sur le type option de Util dans un module
aspiwack
2007-12-05
*
Report 10087, 10089, 10090 de 8.1 vers trunk (compatibilité camlp5 et -recty...
herbelin
2007-08-24
*
Fixed the -emacs option which was always On.
courtieu
2006-11-24
*
The emacs-U option now does not output *any* char above 250.
courtieu
2006-11-17
*
Correction de la localisation des erreurs en interactif (numéro de
herbelin
2006-10-20
*
Added a new option -emacs-U changing emacs prompt delimiters by
courtieu
2006-09-29
*
Modification of emacs output: Pp.warning and al now output warning
courtieu
2006-04-27
*
Implementation of a new backtracking system, that allow to go back
coq
2005-04-20
*
Affichage numéro de l'état de la commande courante pour mode emacs
herbelin
2005-01-14
*
Abstraction vis à vis du type loc pour compatibilité ocaml 3.08
herbelin
2004-07-16
*
Nouvelle en-tête
herbelin
2004-07-16
*
- fixed the Assert_failure error in kernel/modops
barras
2004-02-18
*
Localisation des erreurs d'internalisation des notations de tactiques
herbelin
2004-02-12
*
Nouvelle mouture du traducteur v7->v8
herbelin
2003-08-11
*
*** empty log message ***
barras
2003-03-12
*
-emacs: plus de prompt entre les lignes
filliatr
2003-01-16
[next]