aboutsummaryrefslogtreecommitdiff
path: root/toplevel/toplevel.ml
AgeCommit message (Expand)Author
2013-12-16A few fixes to the build system (mostly for ocamlbuild)Pierre Letouzey
2013-09-30STM: some refactoring, support revised CoqIDE protocolgareuselesinge
2013-09-19Get rid of the uses of deprecated OCaml elements (still remaining compatible ...xclerc
2013-09-10Temporary fix of emacs mode for ProofGeneralletouzey
2013-08-30When PG is used as interface behave as before STMgareuselesinge
2013-08-19Modulification and removing of structural equality in Stateid.ppedrot
2013-08-08Support Proof Generalgareuselesinge
2013-08-08State Transaction Machinegareuselesinge
2013-03-13Toplevel: improved commentsletouzey
2013-03-13Vernac+Toplevel: get rid of Error_in_fileletouzey
2013-03-13Vernac+Toplevel: get rid of DuringVernacInterpletouzey
2013-03-13Restrict (try...with...) to avoid catching critical exn (part 13)letouzey
2013-02-18Removing Exc_located and using the new exception enrichementppedrot
2013-01-28Uniformization of the "anomaly" command.ppedrot
2012-12-14Modulification of identifierppedrot
2012-12-13Using library string functions.ppedrot
2012-12-04Removed Compat.Exc_located outside of compat.ml4, as a consequence ofherbelin
2012-11-26Monomorphization (toplevel)ppedrot
2012-11-15backtrack too much commited files in the last commit.courtieu
2012-11-15Fixing emacs diff bug with .dir-locals.el.courtieu
2012-11-08Monomorphized a lot of equalities over OCaml integers, thanks toppedrot
2012-10-06still some more dead code removalletouzey
2012-10-04Moved Compat to parsing. This permits to break the dependency of theppedrot
2012-09-14Partial revert of Yann commit in order to use CLib.List when openingppedrot
2012-09-14This patch removes unused "open" (automatically generated fromregisgia
2012-08-08Updating headers.herbelin
2012-07-12A new status Unsafe in Interface. Meant for commands such as Admitted.aspiwack
2012-06-22Fixing camlp4 compilation w.r.t previous commitppedrot
2012-06-22Added an indirection with respect to Loc in Compat. As many [open Compat]ppedrot
2012-06-01Getting rid of Pp.msgnl and Pp.message.ppedrot
2012-05-29Vernacexpr is now a mli-only file, locality stuff now in locality.mlletouzey
2012-03-23A unified backtrack mechanism, with a basic "Show Script" as side-effectletouzey
2012-03-02Noise for nothingpboutill
2011-05-24Made the emacs-U option deprecated. Also removed the old codecourtieu
2011-05-13A new mechanism to handle errors.aspiwack
2010-12-02Fixing a bug introduced in r12304 (move of interpretation ofherbelin
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-05-31More indirection.vgross
2010-05-19Add (almost) compatibility with camlp4, without breaking support for camlp5letouzey
2010-05-19Nicer representation of tokens, more independant of camlp*letouzey
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-03-30Improving error messages in the presence of utf-8 charactersherbelin
2009-12-08Migration of ProtectedToplevel and Line_oriented_parser into new contrib Inte...letouzey
2009-10-26New cleaning phase of the Local/Global option managementherbelin
2009-10-05Revert "kills the old backtracking framework and replaces it with"vgross
2009-09-29kills the old backtracking framework and replaces it withvgross
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-09-15Fixed compilation error message which was no longer emacs-compliant sinceherbelin
2009-04-08- Backport of 12053 (fixing parsing segfault bug #2087) and 12058 (fixingherbelin
2009-01-14Fixing/improving management of uniform prefix Local and Globalherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-20 15:27:14 +0000