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
*
Get rid of the uses of deprecated OCaml elements (still remaining compatible ...
xclerc
2013-09-19
*
Temporary fix of emacs mode for ProofGeneral
letouzey
2013-09-10
*
When PG is used as interface behave as before STM
gareuselesinge
2013-08-30
*
Modulification and removing of structural equality in Stateid.
ppedrot
2013-08-19
*
Support Proof General
gareuselesinge
2013-08-08
*
State Transaction Machine
gareuselesinge
2013-08-08
*
Toplevel: improved comments
letouzey
2013-03-13
*
Vernac+Toplevel: get rid of Error_in_file
letouzey
2013-03-13
*
Vernac+Toplevel: get rid of DuringVernacInterp
letouzey
2013-03-13
*
Restrict (try...with...) to avoid catching critical exn (part 13)
letouzey
2013-03-13
*
Removing Exc_located and using the new exception enrichement
ppedrot
2013-02-18
*
Uniformization of the "anomaly" command.
ppedrot
2013-01-28
*
Modulification of identifier
ppedrot
2012-12-14
*
Using library string functions.
ppedrot
2012-12-13
*
Removed Compat.Exc_located outside of compat.ml4, as a consequence of
herbelin
2012-12-04
*
Monomorphization (toplevel)
ppedrot
2012-11-26
*
backtrack too much commited files in the last commit.
courtieu
2012-11-15
*
Fixing emacs diff bug with .dir-locals.el.
courtieu
2012-11-15
*
Monomorphized a lot of equalities over OCaml integers, thanks to
ppedrot
2012-11-08
*
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
[next]